European Swimming Championships in Paris: cliff diving in the Seine