From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id CA8FD7ED67 for ; Sun, 19 Aug 2012 11:10:57 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kerneis@pps.jussieu.fr) identity=pra; client-ip=213.186.56.95; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="kerneis@pps.jussieu.fr"; x-sender="kerneis@pps.jussieu.fr"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kerneis@pps.jussieu.fr) identity=mailfrom; client-ip=213.186.56.95; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="kerneis@pps.jussieu.fr"; x-sender="kerneis@pps.jussieu.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of postmaster@witko.kerneis.info designates 213.186.56.95 as permitted sender) identity=helo; client-ip=213.186.56.95; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="kerneis@pps.jussieu.fr"; x-sender="postmaster@witko.kerneis.info"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgELAAStMFDVujhf/2dsb2JhbABFhTpHs0IDAQN2gQeCIQEFIw8BBQgBATgPBAcaAiYCAlcGG4gJpSRug0EBBY4fBoEhiWpdgxmCCoESmyOKQoJj X-IronPort-AV: E=Sophos;i="4.77,792,1336341600"; d="scan'208";a="153347300" Received: from witko.kerneis.info ([213.186.56.95]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 19 Aug 2012 11:10:57 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=pps.jussieu.fr; s=witko-rsa1; h=Message-ID:References:In-Reply-To:Subject:To:From:Date:Content-Transfer-Encoding:Content-Type:MIME-Version; bh=LoAgoJXcZnpWqQbnxZUbZybhCud+vHhAvh9dMe8mn1c=; b=cvaJbh/GYuM07/06IKK8imnHp3y4SLIEBfe1AooRCjXfVSxs7mYiNRGiHv1lZ7axb9bNY5ittxbrzi1KQfDTJjMNm2FPIIidNNgbWYlCVdx/YQhD+C+VWd8wgB1pIwBN; Received: from localhost ([127.0.0.1] helo=kerneis.info) by witko.kerneis.info with esmtp (Exim 4.72) (envelope-from ) id 1T31X6-0006vc-Oo for caml-list@inria.fr; Sun, 19 Aug 2012 11:10:56 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Date: Sun, 19 Aug 2012 11:10:56 +0200 From: Gabriel Kerneis To: Organization: Laboratoire PPS In-Reply-To: References: Message-ID: <3064ce79f23aaa2aa22368d0bb0c8ddd@kerneis.info> X-Sender: kerneis@pps.jussieu.fr User-Agent: Roundcube Webmail/0.6 X-SA-Exim-Connect-IP: 127.0.0.1 X-SA-Exim-Mail-From: kerneis@pps.jussieu.fr X-SA-Exim-Scanned: No (on witko.kerneis.info); SAEximRunCond expanded to false Subject: Re: [Caml-list] Companies using OCaml Le 18.08.2012 22:05, Esther Baruk a écrit : > * England You should definitely use "United Kindgom" instead. Kind regards, -- Gabriel Kerneis