From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 8CC365D5 for ; Thu, 26 Sep 2019 06:27:53 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,550,1559512800"; d="scan'208";a="403426731" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Sep 2019 08:27:52 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id CBC1E7F216; Thu, 26 Sep 2019 08:27:52 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 322087EFA1 for ; Thu, 26 Sep 2019 08:27:41 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Christophe.TROESTLER@umons.ac.be; spf=Pass smtp.mailfrom=Christophe.TROESTLER@umons.ac.be; spf=Pass smtp.helo=postmaster@EUR02-VE1-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3A3hVvfRSX+bU2NlGETWScbNQNWtpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa67ZRWFt8tkgFKBZ4jH8fUM07OQ7/m7Hzdbqs/Z7TgrS99lb1c9k8?= =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?= =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrowjdrMcbjIVtJqos1hfEomZDdv?= =?us-ascii?q?hLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfM?= =?us-ascii?q?TQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklD?= =?us-ascii?q?sLOjgk+2zMlMd+kLxUrw6gpxxnwo7bfoeVNOZlfqjAed8WXHdNUtpNWyBEBI63?= =?us-ascii?q?cokBAPcbPetAr4fzuUYArQemCwetCu3hyTFIiX333aIm3OouHhrL3BA7EN8UrH?= =?us-ascii?q?jYsMn5OaUUXOuozKfI1zLDb/ZO1Drj6IjIaBEhoeqQXbJ3acrRyVcgHB7bgFuM?= =?us-ascii?q?sILrMC6b2PoLvWaU8+RrSOWihnAnqwFroziv3dssio7RhoIV1F/I7zt3zposK9?= =?us-ascii?q?O3VUB1f9iqHpRMuSyBKot2R8QiQ2dzuCog0LIJpYS3czMUx5k+wRPUdvKJc4+N?= =?us-ascii?q?4h35VeaRJy91hHJ5eLKjnxay6lKgxfPhWcm1ylZFsDZKksXNtnAK0RzT5M+HSu?= =?us-ascii?q?F6/ki9wzmP0gTT5vtDIUAumqrWLYMqzL0olpcLvknPAjX6lFjqgKKUbEko5PKk?= =?us-ascii?q?5uXkb7n+uJOTLZN4hh/7P6s0hsCyD+o4Pw0BUmWU+emzzrju8E/iT7lWkvE7l6?= =?us-ascii?q?fUvI7YKMgGo6O1HgxY3Z0/5Bu6EjupytoVkHgCIV9EZR6Ik5PmN0nAIP/mDvqz?= =?us-ascii?q?n1GhnTJwyP/aILLuH5DAIWbAnbruY7pw7k1RxQg3wN1b4p9ZCb8MLfL3V0L3qd?= =?us-ascii?q?fWFAU2MxauzObiENh91p0RWWaIAqKBP63dv0OG6v4xL+WVa4AbtyvxJ+Ei5/H1?= =?us-ascii?q?k3A1g1gdfbS13ZQMb3C4A/JmLFiDbXr0mNcBFnsKsRQiQ+z2iV2CVjhTa2y1X6?= =?us-ascii?q?Ih+jE7DIWmDYDARoy3nLOB2yK7EoVXZmBAFF+MDW/leoqYV/sWdS6ePs1sniYa?= =?us-ascii?q?WbS7SoIs1gmitArgxLpmKurU9DcYtZXm1NVt+eDTlQsy9T1vD8SB1GGNV2F0kX?= =?us-ascii?q?0SSzEowK5xuENzxEqd36Z+jPJWCcde5+5MUgc9M57c1PZ2BMruVQ7bZdiGVk6q?= =?us-ascii?q?Qs+6DjEpUtIx39gObl5hFNq4ixDD2zOmA7sUl7yQGJw56bnc3nj0J8Zl0XnKzq?= =?us-ascii?q?ghj188QstOL2KqnKB/9xKAT7LOxmydnqDiTq8c2S/R6C/XxG6HugdDWw51ULnZ?= =?us-ascii?q?dWgYYlrKoN/54ELbUrLoDq4oZFhv08mHf4BKcNzykVJeRPqrBO75TlmNv0qKTU?= =?us-ascii?q?KjxqmNd5btY2UQmhnnL2U/ryQ+x16bMA84HWGoqCTUAWo9RhrUf0rw/Lwm+zuA?= =?us-ascii?q?RUguwlTPNhU5jufnylsunfWZDsgr8PcEtSMm92omMWuHh4iTNffZ4g1rceNbfM?= =?us-ascii?q?8350pB2STBrQthM5e8LqdkwFkDbwBwuECo3BJyWNwZwJoa6UgyxQ83Epq2lVZI?= =?us-ascii?q?djeWx5f1Y+aFN2z1+gvpYqWQ0FyMiY/KqJdK0+wxrhDYhC/sDlArqi41ztxS1W?= =?us-ascii?q?Da756MBgdACZ8=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C0AAA6WYxdh0QCayhlHAEBAQQBAQwEA?= =?us-ascii?q?QGBZ4FLUFwUcwMECyqEIoh8hUeCXJpGA1QBCAEDAQoBARsSAgEBhD8CF4MvBgE?= =?us-ascii?q?ENBMCDAEBBAEBAQIBAgMEARMBAQEIDQkIKYU0DII6KQGCZwEBBBIREQwBAREmA?= =?us-ascii?q?Q8CAQgYAgIFIQICAg0BIhUQAgQOBSKDAAGBagMeAqQLLAKBOIhgAQFygTKCfQE?= =?us-ascii?q?BBYUNGCAiFoE/CYEMKIUUiFA/hCM+hFuCdIJYj1qdOgcgggVphhyKB4QZgyiWA?= =?us-ascii?q?6cwAgQCBAUCEAWBaYF5bVOCbAlHEBSBThqDWIUUhT9BATGBKY1TAQE?= X-IPAS-Result: =?us-ascii?q?A0C0AAA6WYxdh0QCayhlHAEBAQQBAQwEAQGBZ4FLUFwUcwM?= =?us-ascii?q?ECyqEIoh8hUeCXJpGA1QBCAEDAQoBARsSAgEBhD8CF4MvBgEENBMCDAEBBAEBA?= =?us-ascii?q?QIBAgMEARMBAQEIDQkIKYU0DII6KQGCZwEBBBIREQwBAREmAQ8CAQgYAgIFIQI?= =?us-ascii?q?CAg0BIhUQAgQOBSKDAAGBagMeAqQLLAKBOIhgAQFygTKCfQEBBYUNGCAiFoE/C?= =?us-ascii?q?YEMKIUUiFA/hCM+hFuCdIJYj1qdOgcgggVphhyKB4QZgyiWA6cwAgQCBAUCEAW?= =?us-ascii?q?BaYF5bVOCbAlHEBSBThqDWIUUhT9BATGBKY1TAQE?= X-IronPort-AV: E=Sophos;i="5.64,550,1559512800"; d="scan'208";a="320661591" X-MGA-submission: =?us-ascii?q?MDHFgGp8xLiv4CDylc22h3EnclvDIPZ2K1MZeq?= =?us-ascii?q?AbGJjbPwR5Sb60wAHdMTwjK6XcNm1addUY0zroItjmAHQ2ahJYwYw3Ee?= =?us-ascii?q?2GkEz0sLIVaF8lPTHuu8dV3iX4mHUfLc2AB51/OVVlFFTQAHotzUJYP6?= =?us-ascii?q?a0qQNKQ8yuiA8uA4zP2hQmQA=3D=3D?= Received: from mail-eopbgr20068.outbound.protection.outlook.com (HELO EUR02-VE1-obe.outbound.protection.outlook.com) ([40.107.2.68]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA256; 26 Sep 2019 08:27:40 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=F6uTNEal6Uw7ibwPvqLS8lmF8JQdiJ5k3mXCNCGEfcrm4GQoZJa1H2oUdMFrbCxv8GhXECq0VYEMsD1SpdAFnHCFxLUWHMrDof80fJlr0c3YUnBLt1SIYOjv6lnFpYfU9JnT+fo204n8bDNYHBHvAxX3wfInrUr29DdtIJEmOnTzQeU58eZVkv0j/FLA6rFvLprMjClSYHYm8QD8fmTYh9ROSpLBlDaYfwyTtVWZoTfPWY6tbDIssVCjk8ynHgdUphFc9NHIcGtl/HJJZUeGzm8PbjbITE9ooyfanwn5yBCcyoS4AjX+yOAyW7jA1ewq5Er/6P7UUr7hAE0RFl1HKg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=YcVwAAhqLng0t7fMNqpcRikQEYeVo6YvMJ1m9vRfRwU=; b=ofTQO74clDxHoJL35pNTqkGXDxi/REDrHbaQ6lSRZ0aAywW4TKoXvXTLGlmrxswtPOehE/Swu5vMIlglktqey7IrbkdE2BFB+UoTHfeeSiLmUmRJLCipezNbdOSXkPglUocq9ErR1GB+iPfo/+ZEzKJTnFkE4Mz/64WCT13KogeM4sQy/5Qk2U08btVwlLKamqhIjaxWDKJTytKvw7shIg/cHC7mHxrO2C335/w0kEKoL9uuWXO0BUy9OLPwkIxP89nz1YRA9LdBlT19u3842qga44i16+thSoqgiyCYMW9UauBoQWdIfeB1tvTFOSLw+bL6abdqa15YpQ9+tBkhfg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=umons.ac.be; dmarc=pass action=none header.from=umons.ac.be; dkim=pass header.d=umons.ac.be; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=alumniumonsac.onmicrosoft.com; s=selector2-alumniumonsac-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=YcVwAAhqLng0t7fMNqpcRikQEYeVo6YvMJ1m9vRfRwU=; b=vFzJ/kl62eSSED0EM2xsuYuBpd/HkEtLSaEqJH1JlUkeFQF2WvICT0U8o4+pvEOyOQv/+kjZMUW2FkM6hhrEmTiWFkO+ztL3K36ciIos3PThR19IuDW+nKOCcHQ1V16L3o2dstaHOphy2zYy3MRerHh+vi7/6h04PAlc49NCfb0= Received: from AM5PR0102MB2675.eurprd01.prod.exchangelabs.com (10.167.169.141) by AM5PR0102MB2593.eurprd01.prod.exchangelabs.com (10.167.168.142) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2284.25; Thu, 26 Sep 2019 06:27:37 +0000 Received: from AM5PR0102MB2675.eurprd01.prod.exchangelabs.com ([fe80::bced:e842:8799:8359]) by AM5PR0102MB2675.eurprd01.prod.exchangelabs.com ([fe80::bced:e842:8799:8359%4]) with mapi id 15.20.2284.023; Thu, 26 Sep 2019 06:27:37 +0000 From: Christophe TROESTLER To: Alan Schmitt CC: Gerd Stolpmann , OCaml Mailing List Thread-Topic: [Caml-list] https and Ocamlnet Thread-Index: AQHVdDJwammjAp9FYkuhdmVYlVcKSac9fpOA Date: Thu, 26 Sep 2019 06:27:37 +0000 Message-ID: <87ftkjlgh4.fsf@poincare.umons.ac.be> References: <87impglc4p.fsf@polytechnique.org> <4ef6b3c5-8d04-e877-085b-99439eb42611@gerd-stolpmann.de> <87ef03lgtl.fsf@polytechnique.org> In-Reply-To: <87ef03lgtl.fsf@polytechnique.org> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [2a02:a03f:445a:7b00:3271:18bc:1a36:61cb] x-clientproxiedby: PR0P264CA0174.FRAP264.PROD.OUTLOOK.COM (2603:10a6:100:1c::18) To AM5PR0102MB2675.eurprd01.prod.exchangelabs.com (2603:10a6:206:5::13) x-ms-exchange-messagesentrepresentingtype: 1 x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: af7c0cc2-6e11-47bd-2cc3-08d7424aa000 x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(8989299)(5600167)(711020)(4605104)(1401327)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(2017052603328)(7193020);SRVR:AM5PR0102MB2593; x-ms-traffictypediagnostic: AM5PR0102MB2593:|AM5PR0102MB2593: x-ms-exchange-transport-forked: True x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:9508; x-forefront-prvs: 0172F0EF77 x-forefront-antispam-report: SFV:NSPM;SFS:(10009020)(4636009)(136003)(346002)(39850400004)(396003)(366004)(376002)(199004)(189003)(25786009)(86362001)(626008)(316002)(71200400001)(476003)(102836004)(486006)(64756008)(186003)(478600001)(53546011)(71190400001)(66446008)(305945005)(6506007)(386003)(66946007)(7736002)(66476007)(76176011)(99286004)(256004)(4744005)(14444005)(786003)(66556008)(14454004)(446003)(11346002)(46003)(6512007)(6246003)(81166006)(4326008)(52116002)(6486002)(6436002)(5660300002)(229853002)(8676002)(81156014)(6116002)(54906003)(8936002)(2906002)(6916009);DIR:OUT;SFP:1101;SCL:1;SRVR:AM5PR0102MB2593;H:AM5PR0102MB2675.eurprd01.prod.exchangelabs.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;A:0;MX:1; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: X6ep5GuA52HvpB77ZLb6zkqOQ5rirHwmLgLq9oQNm6euwoHmH5gc8fUwPwDHs35bOdPJUkyAc6k515bShsCjIteHYOqdepfMXCy+AKTFHQ4lLDV2lV83xY5Nitwe60DfK3dyixj3mNur5c5zKJkZvHSptyLjuTjQJh7MQ+EgGdXYhsXHoK2Kkib3gl1rAWvqowqZhMNlj3lYbxRfxOIGl0s7kGqNtsip1thiHiHEsgvCjLrYMulsTSEwkc6W9ZV1MMoQLSk6nBKF4HHRTVX0JWCumWfaDV8X6rd3QhKtX9xfBu2MHtn7WFdEKgxlZ8SKEc4lqtyX4TA2Q3JSHUzHkVFrXIJ076Umgba6uRojezD6AZfCY42NYe1COuPDB4nQT4TJF5L0KswMEk0VDzTMh1i8+7BJLoRiaPSLIBqECyg= Content-Type: text/plain; charset="utf-8" Content-ID: <8E28642356E25347BB5C788C67D0F6D2@eurprd01.prod.exchangelabs.com> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: umons.ac.be X-MS-Exchange-CrossTenant-Network-Message-Id: af7c0cc2-6e11-47bd-2cc3-08d7424aa000 X-MS-Exchange-CrossTenant-originalarrivaltime: 26 Sep 2019 06:27:37.7222 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 488bed9d-d6a7-48d5-ba1f-ebec3823b357 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: aArEteDFDZ2znY/oLm+5ZJMFQroCZRm3bAqycjEFVMmopsHscy2v4eYBewlAWUtZFK9A3jNAN/qlP9qAErkVlw== X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM5PR0102MB2593 Subject: Re: [Caml-list] https and Ocamlnet Reply-To: Christophe TROESTLER X-Loop: caml-list@inria.fr X-Sequence: 17825 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: SGkgQWxhbiwNCg0KSGF2ZSB5b3UgdHJpZWQg4oCcY29odHRw4oCdIHdpdGgg4oCcdGxz4oCdIHRv IHBlcmZvcm0gdGhlIHNhbWUgdGFzaz8NCg0KSWYgaXQgZmFpbHMsIEkgY2FuIHJlbW92ZSB0aGUg SFRUUFMgcmVkaXJlY3Rpb24gZm9yIG9jYW1sLm9yZyB3aGlsZSB0aGlzIGlzIGJlaW5nIGZpeGVk Lg0KDQpCZXN0LA0KQy4NCg0KDQpPbiAyNiBTZXB0ZW1iZXIgMjAxOSBhdCAwODoyMCBDRVNULCBB bGFuIFNjaG1pdHQgPGFsYW4uc2NobWl0dEBwb2x5dGVjaG5pcXVlLm9yZz4gd3JvdGU6DQo+DQo+ IEhlbGxvIEdlcmQsDQo+DQo+IE9uIDIwMTktMDktMjUgMTc6NDcsIEdlcmQgU3RvbHBtYW5uIDxp bmZvQGdlcmQtc3RvbHBtYW5uLmRlPiB3cml0ZXM6DQo+DQo+PiBsb29rcyBsaWtlIHRoYXQgdGhl cmUgaXMgc29tZSBpbmNvbXBhdGliaWxpdHkgd2l0aCBvbmUgb2YgdGhlIG5ld2VyDQo+PiBUTFMN Cj4+IHByb3RvY29sIGZlYXR1cmVzIChsaWtlIHplcm8gcm91bmR0cmlwKSwgc28gdGhhdCB0aGUg VExTIG5lZ290aWF0aW9uDQo+PiBmYWlscy4gSSBkb24ndCBoYXZlIHRpbWUgdG8gbG9vayBpbnRv IHRoaXMgcmlnaHQgbm93LCBhbmQgY3J5cHRpYw0KPj4gZXJyb3JzDQo+PiBhcmUgYWxzbyBjcnlw dGljIGZvciB0aGUgZGV2ZWxvcGVyLCBidXQgSSdtIGRlZmluaXRlbHkgaW50ZXJlc3RlZCBpbg0K Pj4gZml4aW5nIHRoaXMuIFdpbGwganVzdCB0YWtlIGEgYml0IG9mIHRpbWUuDQo+DQo+IFRoYW5r IHlvdSENCj4NCj4gQW5kIHRvIGFuc3dlciB0aGUgb3RoZXIgcmVwbGllczoNCj4NCj4gQ2hyaXN0 b3BoZSwgSSBkbyBoYXZlIGNvbmYtZ251dGxzIGluc3RhbGxlZC4NCj4NCj4gT2xpdmllciwgSSBn ZXQgYSBHTlVUTFNfRV9QUkVNQVRVUkVfVEVSTUlOQVRJT04gZXJyb3Igd2hlbiBnb2luZyB0byB0 aGF0DQo+IHNpdGUsIGFzIGl0IHNlZW1zIHlvdSB3ZXJlIGdldHRpbmcuDQo+DQo+IEJlc3QsDQo+ DQo+IEFsYW4NCg0K