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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 6181B7F61E for ; Tue, 24 Jan 2017 12:49:14 +0100 (CET) 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@EUR01-HE1-obe.outbound.protection.outlook.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Christophe.Troestler@umons.ac.be) identity=pra; client-ip=104.47.0.75; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Christophe.TROESTLER@umons.ac.be"; x-sender="Christophe.Troestler@umons.ac.be"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of Christophe.TROESTLER@umons.ac.be designates 104.47.0.75 as permitted sender) identity=mailfrom; client-ip=104.47.0.75; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Christophe.TROESTLER@umons.ac.be"; x-sender="Christophe.TROESTLER@umons.ac.be"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@EUR01-HE1-obe.outbound.protection.outlook.com designates 104.47.0.75 as permitted sender) identity=helo; client-ip=104.47.0.75; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Christophe.TROESTLER@umons.ac.be"; x-sender="postmaster@EUR01-HE1-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3ACdxeQRK754VEk3JsLtmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgfIvzxwZ3uMQTl6Ol3ixeRBMOAuq4C1rOd6fGocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDWwbalyIRmrogndqM0bipZ+J6gszRfEvmFGcP?= =?us-ascii?q?lMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLD?= =?us-ascii?q?QheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2UxLjlj?= =?us-ascii?q?sJOCAl/2HWksxwjbxUoBS9pxxk3oXYZJiZOOdicq/BeN8XQ3dKUMRMWCxbGo68?= =?us-ascii?q?YYUAAeofM+hFrYbzpkMAoxW9CwajGOzhxT5Ii2Tq3aA5yektDR3K0RYiEt8IrX?= =?us-ascii?q?/arM/1NKAXUe2t0qTIzS/Db/JN2Tfh74jIahAhru+RVrxua8rRzlcgFxjZjlWU?= =?us-ascii?q?t4PlJS6e2+MTvmib9epgVPmvi3IgqwFpojig2N0ghJfThoIS1F/E7jl5wIIrKt?= =?us-ascii?q?2iU0N7fNukEJxWtyGBLYd5WN8tT3tztykk07ALv4OwcisSyJk/2hLTd/OKf5KH?= =?us-ascii?q?7x/hTuqdPS10iXBldb6nmhq+7VKsxvDgWsS7ylpGsDBJn9jCu3wVyhDe7saKRu?= =?us-ascii?q?Fg8kqlxTqDzR7f5v1HLEwuiKbWJYAtz7gtnZQJq0vDBDX5mEDuga+WaEok/u+o?= =?us-ascii?q?5vzobLroupGQK5J4hhj8PKohh8CzGOM4PRMQUGSB/uS8yaHj8lb+QLVXiP05j7?= =?us-ascii?q?PVsIjAJcQcuq62HRNa0poi6xa4CTeqytMYnWQbLFJBfxKHiIvpN0vSL/D/CPez?= =?us-ascii?q?m1WskDF1yPDaJrDtH4nBI3fZnLruf7tx8VJQxBAxwN1f/55UD6sOIPP3Wk//rt?= =?us-ascii?q?zYCRo5PhSqzubnEtV915geWX6IAq+BMKPdr0WE6PwzLeeVa4EbpSjzJf4q6fDy?= =?us-ascii?q?lnI5hFodfa6v3ZsMcny3BOhpL1+CbnXymtsBC3sFvhIiTOz2j12PSSJcaGy3X6?= =?us-ascii?q?I4/z07DIOmDZzfRo22m7yA3CK7HoVMaWxcC1CMF23od4SeVPsWZiKSOJwprjtR?= =?us-ascii?q?AbOoTotk0RC1qCf7zaBmJ6za4Htc/bnjztlu++rLlRx6zzV6Ac2Z12DFG2p0hG?= =?us-ascii?q?ITWzgu3K1Xu0VzxF6H1ak+juEORvJJ4PYceQcgNIXAyPR6BpjOQAXMZcuNRUzu?= =?us-ascii?q?Fv6mGzAqUtUpw9JIX1x6Fs6+ih3Z9zevBLkO0bWAQpY5pPGPl0PtLtpwni6VnJ?= =?us-ascii?q?IqiEMrF44WbTWr?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CyAwAcPodYhksAL2heHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgmUkAQEBAQEcVGQHLQeDTIp7kRSXOwGGGwQCAoJYEwEBAQEBAQE?= =?us-ascii?q?BAQEBEgEBAQoJCwodL0IOgWMbAYIbAQUjBAsBBQgBAREnDwsYAgIFIQICDwE3E?= =?us-ascii?q?AYBiREDGAEDrGhogWs6gwgBAQWELhggGoJMAQEIAQEBARwICQGBAYVAhG+ESRW?= =?us-ascii?q?CcYJfAZtRkWyBXwGIQYZNkT2BOjdYcxpShC0ggW1ygV6EagGBDAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CyAwAcPodYhksAL2heHAEBBAEBCgEBFwEBBAEBCgEBgmU?= =?us-ascii?q?kAQEBAQEcVGQHLQeDTIp7kRSXOwGGGwQCAoJYEwEBAQEBAQEBAQEBEgEBAQoJC?= =?us-ascii?q?wodL0IOgWMbAYIbAQUjBAsBBQgBAREnDwsYAgIFIQICDwE3EAYBiREDGAEDrGh?= =?us-ascii?q?ogWs6gwgBAQWELhggGoJMAQEIAQEBARwICQGBAYVAhG+ESRWCcYJfAZtRkWyBX?= =?us-ascii?q?wGIQYZNkT2BOjdYcxpShC0ggW1ygV6EagGBDAEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,278,1477954800"; d="scan'208";a="210659060" Received: from mail-he1eur01on0075.outbound.protection.outlook.com (HELO EUR01-HE1-obe.outbound.protection.outlook.com) ([104.47.0.75]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA256; 24 Jan 2017 12:49:13 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=alumniumonsac.onmicrosoft.com; s=selector1-umons-ac-be; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version; bh=/NJaEZeUImKYIV9IKpmNMSY/XIJV3Pxhpo+JItl1clk=; b=Jv8J/tcJGQ5jEnIEcsWkz7dDmi5ey/t+cuwicUBoKyB4xxEKty5n9XdY9aZ5X2J7YGYx67jXQ4uMEhgAA0noEu7SLWGiMZOi4NcmdDOvn0MIUMpv/FFGiLQF/Z3IJknEt1JYTOhB9hIltxgV69RR98PibpXqgOwTGwFzcyNHhcM= Received: from AM4PR01CA0013.eurprd01.prod.exchangelabs.com (10.164.74.151) by HE1PR01MB1146.eurprd01.prod.exchangelabs.com (10.162.182.155) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P384) id 15.1.860.13; Tue, 24 Jan 2017 11:49:11 +0000 Received: from DB3FFO11FD039.protection.gbl (2a01:111:f400:7e04::191) by AM4PR01CA0013.outlook.office365.com (2a01:111:e400:59dd::23) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P384) id 15.1.860.13 via Frontend Transport; Tue, 24 Jan 2017 11:49:10 +0000 Received: from smtp.umons.ac.be (193.190.208.132) by DB3FFO11FD039.mail.protection.outlook.com (10.47.217.70) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA_P384) id 15.1.803.8 via Frontend Transport; Tue, 24 Jan 2017 11:49:09 +0000 Received: from poincare3 (10.104.2.63) by smtp.umons.ac.be (10.104.2.84) with Microsoft SMTP Server (TLS) id 14.3.319.2; Tue, 24 Jan 2017 12:47:36 +0100 Received: from localhost ([::1] helo=poincare3) by poincare3 with esmtp (Exim 4.88) (envelope-from ) id 1cVzZX-00019n-EA; Tue, 24 Jan 2017 12:47:35 +0100 References: <20170123081914.khlfptehb33wmflf@delli7.univ-savoie.fr> <2754948.nqurzsgqqR@agaric> User-agent: mu4e 0.9.19; emacs 25.1.1 From: Christophe Troestler To: , Christophe Raffalli In-Reply-To: <2754948.nqurzsgqqR@agaric> Date: Tue, 24 Jan 2017 12:47:35 +0100 Message-ID: <87ziigd6i0.fsf@umons.ac.be> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 8bit X-Originating-IP: [10.104.2.63] X-EOPAttributedMessage: 0 X-Forefront-Antispam-Report: CIP:193.190.208.132;IPV:NLI;CTRY:BE;EFV:NLI;SFV:NSPM;SFS:(10009020)(6009001)(7916002)(39450400003)(2980300002)(438002)(189002)(24454002)(377424004)(199003)(106466001)(86362001)(2870700001)(3846002)(229853002)(76506005)(57986006)(6116002)(74482002)(4960100001)(38730400001)(23676002)(47776003)(83506001)(2906002)(8936002)(7636002)(356003)(305945005)(7736002)(626004)(54356999)(76176999)(50986999)(9786002)(558084003)(107886002)(4001350100001)(8676002)(5001770100001)(246002)(189998001)(42882006)(2950100002)(50466002)(92566002)(33646002)(36756003)(5660300001)(5001870100001);DIR:OUT;SFP:1101;SCL:1;SRVR:HE1PR01MB1146;H:smtp.umons.ac.be;FPR:;SPF:Pass;PTR:exchangehub1.umons.ac.be,pop.umons.ac.be,exchangehub2.umons.ac.be,smtp.umons.ac.be,imap.umons.ac.be;MX:1;A:0;LANG:en; X-Microsoft-Exchange-Diagnostics: 1;DB3FFO11FD039;1:Of8b1NSUUxKw1PSAdPIcwzxxLXJ1Odkk2vwFQ/eqYLRdWhsisxyjTleACrSP902q61VXqzBT+JX/M6i0I99OSC+G25Kwipj0v6c29PUue9qBLwmdFKA4n6IJzafWSnuyQkdgaNrgbvZXU/fXExRsg1aYQIyOJurRkHf//0hYWgRNJqgk0khl43y85WbizCDWmKZnmdTE7mrlsJtgvTweZ61/T62uwM5FkhS6WEArqXVWhBgR/aTHSLBOU1PD5WHjeOmMxdzSE686fElabR3pvFBFLVn1Dv9XNbCVnzUH9/U94S7PD1+c3tBgW5S07frLbDUdA6+khrwfezLslTrX//dz1XX8TjkIySTkDcVAwqu8nEQuw7fofSj8re1xK/HcZPfSkwJQzu+XsrgOLw45iozi6XHbMSScX5Ld8v1v691hdLsUp5TzI1rLzUQwsj0gJtVXOCWp0vHLIRHU6cVfJPQYTRpnEPIV5nqHX/mdwJS+3ftw4oNU8brJwdKT3/Mh X-MS-Office365-Filtering-Correlation-Id: ea5ab166-943b-4073-cb18-08d4444f02a9 X-Microsoft-Antispam: UriScan:;BCL:0;PCL:0;RULEID:(22001)(8251501002);SRVR:HE1PR01MB1146; X-Microsoft-Exchange-Diagnostics: 1;HE1PR01MB1146;3:lLapYLSwMChoyQcChrR5ZwVgtaliX/WtzFIWZhYHB8/UrWHU+IsN4rmgFljnKE29Bi3/jCf5rYFAfME4IYwxiyAa6eLInzp+z2rXoZwVpGV8aDJQZBE/743xDlOnaDCoxUerh0p+iqkyNHq8DWRdYIw1rSJWIxOV4FvI9XsqX8noa48rY3C7ecPxIgarh3VaQhZNCclMFZh6NG0O3T0lE9U1Ho+W/He9lSD/iq1ZV6bVYlD7bOi92XdVOe2T6ec60DHAtYa3ZpXv7CCjNqUOUnVY49MHQFvKgqaUMHmWVSxahkWJuzT6+UkvBWAwzT2g1BstB6muG7mkIe5LnHkyYbB+oqXtrA6GVGYJn425H6QrzqjazON2ki2TuojkTg6E2kWc16KxlOoTlYS9TD+1kw== X-Microsoft-Exchange-Diagnostics: 1;HE1PR01MB1146;25:vyCiWGPUbKpRvqFGYvrj+HTRXJb8fSON5WRAxu8uIf3Ypt4pYZu0MIgpeWKEg8yjeS09kcblIRNrISenC5lPkzTV2KQMLtTj6W24zdDmMDvVjnOryXM9svS90EnpEL8J8dOvqzlmPDbVLQH3SWau7DAg3CECUUrsZpRtvpAGxYWBULErljShqCP4CdBnugClzu6Rql/dF+PSZjip1dC0nuRhsL+PhUEgREKdDygQRo4hFI2heWJm6maoeIJBbW0ehtf5qneuuPiz7rXsIbCPzExdhOCCPPsjTp1CJ+jsgj8BkWMnsiEUyVVsLC4y+Jh/8dMUymSJDVOgQ9irDFC7KcIB+W2+2YygKGubEGS3eq9eIACXy2AuhfI7Rg9CtxqSCMQFhWRzdsG+rmFdW8g3mpYofjQCMj/sqlFMz/T0sugFZK8J9FC944WegGWgw4ppYomjATZRVT0ar5PW4QDaNh7hzhrkz3h6lhyBzAIguAtHYXEJ24aHTtaaRkWRnnxH/x40UwE6ASiGx211L2P3V+ZIIlhQsFw1FQoC/+ba5xn9fP8jqB0IFJ7bLAUFagRaXnSkWQ+yRsnjyTpWu8wnvDtPV+1Tv/9KJd2+6pV52CljMCN8nrS6LkwwTDh0tBPf7YloQTkK0B3ELs5XmLqkgKOWoUKVqEDpNmsqcyDHRq3HO5QMZ9iRazDr5Rw90w6hr8mDISq+k3nB2HsvyE8O1v7nJ+o799oBsXbk5QoY7mndsL7QngdpkD3IXV6J+OD30buRhSgVp6tH84ojRmk55+SK2HfoyeY/9Gnyv8j+WqspefZsG027D6f24WaTn0UMa4Po3+h5SDCmNjavJB4rGg== X-Microsoft-Exchange-Diagnostics: 1;HE1PR01MB1146;31:drMyTUP8tT93Q7gRIbQRimzaJkOz9awH1IViwD5F3JGc9Sv3pQ5PuAIMbUxFLLKEiLZICDEwOkM4XEZ1f95vCNPmNMO9VW/6UBsVVOYxUfIcxXoBX6icbx8FlPzwEBkJX+sJsB7sU0OJ8CBu5JO3pRkZkBslz2DMwdXey1Uv9zkHrHYmUJM0SydUk4dJm8TUIaJWumbFeCx6ldXwUjcdHQcet0FDHPywRlhz7fnZf0A8JDCPohb4nUaOm8YuyfbZBGNsyCzlCmmzykPKYqPJkW1+0r2XcOk8/ng3Vx816HlXvp0o/0PSZHHmpefsPMG5;20:xmWIoAVplMBFaDdF+VqTEMFqY0Rxt8sbjs19iH2rtqZwoid1lYxAgpu3WwHMvPBDpWQ9gXsW7pVSBCw4YKXOkFebeALlBsF9Lx5S6LZIkrIxp4vkJ6bcmIS5cYElFeW1Ab3c0XGshqwuGlavWa20hzJ106i4DTi2LmhohovWMsAoud7NMsU7rDro9xyaAr5VbME//2Yv33QLHJeXozK66efB8GUok6PBVksM+pZAdfqkn8KV+O05l2VC8Bj8gLbJ X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:; X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(6040375)(601004)(2401047)(13024025)(13016025)(13023025)(13018025)(5005006)(8121501046)(3002001)(10201501046)(6041248)(20161123564025)(20161123555025)(20161123562025)(20161123560025)(6072148);SRVR:HE1PR01MB1146;BCL:0;PCL:0;RULEID:;SRVR:HE1PR01MB1146; X-Microsoft-Exchange-Diagnostics: 1;HE1PR01MB1146;4:8OPPWk4Exu7RGH2jYLZJvbILV0hZz5/KqXEm3Q/bylzCqYr6HwNTRhmtRuwd1zIu/dxakRoEmXAiwqS9ciSK1NXpUgPmF0VcAKcanD6jUtRYZ5nndRuOJ3AVnB1GAAR+DFMQAp0BY+vgryBFebcJsaHa9TWBh+ab4LR0adFUwmL8UFJ2nXXHOCejeFxWZ4dGGUJK6drD0hA7xS5bf7fF7/yS1qhfCn3MnQ+c+7EzsOImgAJajx7eA4Ris5QEkrjqBC9J+ZKuJdbfnRbro9hWdXwFZpWNGeSN2TnTHoqTLsSXDV8969ZAW/I3ELwJFoi3ir1Cj5N7ebDYRmAiTR+3NdKkBEUewF+QJKWGr39SSbXbUHltxyImCZvysRNrAdVO1Cqm8PosgbJdyiez6XUIojRM/JN3zH95Wf7CWLyZhXL/X/lNO2TWH86JgG111F4Ywn0EeXsHNfDtbl2WA2z3irvj1BNL/IjBFs8eizpnGW5yvuEpikNng8zOcjP4zZSmdHxTrl9WUZN4p7zfIh6xFSdmpmkKGmEgC6vJ4KUS6K+m8YbV/asKYZqMPYS9b7QV3lrcrK8BHvA3XL9XfxyE966bGJOHJsB5fHki07XgjbqOBw6CL2e9Bhy5ZiZzE3Qp2T64d3uBIRhJ2MJZMkl6BQ== X-Forefront-PRVS: 0197AFBD92 X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtIRTFQUjAxTUIxMTQ2OzIzOitvb0k2RHJCWDRuZGRtYkRBVHNxRFVlUUEv?= =?utf-8?B?aG52ZGF5cHY3OXhFYytxMDZzRnJJUnJmalBhRDl5YjErZVIwMmpsd3lFUjBp?= =?utf-8?B?TW5jK05oN2ZMY1dqU052dThiNWprejQ1R0NsSmFxR2o5andUNnNyY2c0b1Fp?= =?utf-8?B?NmRoREhvR2pYYzB2NDJDUW1Gdm5pY2l3VFdwZHU2bWtRSUhJRVRWbjhCM1VX?= =?utf-8?B?S1ljTm8zR2VhNDJzd053cVNwdm9tbDJ1WFVhSDlYRmQ0SjdwV013MjRQcjFE?= =?utf-8?B?RDBKbW8reHRwSHp0bHEvTnRVU05hNVhQTEdqNVlPRFFYQmdiSlRmVDJOY21i?= =?utf-8?B?cGphd3hBN0U0Z295RWlSNG8vaWZUVFJ0UXpPOWhnVEIzU1pnL29UVHUyRVRx?= =?utf-8?B?RzNldkk0QnVEWjB0NHBUT2dlM1hsdGFEYTJkVlZSVy85eUdDQXdabjhURDVr?= =?utf-8?B?QWp0SjZkbDFzL3VhTzNGTDJXTHpvTHgyVzhtcW5IaUttdnpqeWpMaHZWZEUv?= =?utf-8?B?S01lUndQaW5QWFZMQ1pnemI5ZWUvZWYzSjY5cVc5YzRvanJCekZDNUN3eUtS?= =?utf-8?B?Z1gwa24rR2J0ZW1XRmJyNkt2REp0RVRLWFpMSVZRWmhyeEpmYTBWTDkzd2R2?= =?utf-8?B?R3piRXdJTm5LTDFxVDdOSUtPSE1rMDRuRFB3RHRXdzkySXRwUnlVdGFESnVM?= =?utf-8?B?L0V1UGtwbTZ4TFlxRkp4QVRGU3R6YUdCR3dLcHBqVytWdWs0ejM3WWpYdG1J?= =?utf-8?B?TWFpMkVKWEgxZDZ4Mmx1SHBoN1lvbUcwV0JodzBCTHY3Q1FPQWExWTgycWwz?= =?utf-8?B?b0JrMENtN0Y0VmdEcUlGZTdBdG1uUDcxOHUwSWhYR041M0hnZ3p0eWQvMjcv?= =?utf-8?B?RU9nVXo5SHpiKzRqbjNSTFhJcWZYQW0zdFNzSXZNWUxPWk5Qdk95QlhreXp4?= =?utf-8?B?MGVGcVFsV3FNVlRGZGd0QkZWLzRaOWF1cUppR2tmZkJQVzljVUZ4MWVMRzJJ?= =?utf-8?B?QmVic0RiaVN2QkZiRCswZmVBakN3T1VhZTVrSXZQRlZNNi9QM2dDMmVvT2Vo?= =?utf-8?B?ZFBHaVJTT1N6RU9LMXlodGM4QkFGZEQ4NE11Zno0QnlyQXNwdmVXc2I4Rlpn?= =?utf-8?B?T29ZWjE5OEJDdDdQRk5TSHltNEYwckh5Mkl4MGtlUXBiR1pQNVdPOUJMWTgr?= =?utf-8?B?by9mcW8vWkh0blJIWERBb25EaTN0VTNpN3N1eC9sS0JndThSeXBuL1BUMHJx?= =?utf-8?B?ZHlmVFBEenRBZjIrVnY3eW5rTTBOS0pLTk5XQWY3aERZaXJ1NmdBV2pra05S?= =?utf-8?B?R3hVY29vckFlV1NPRVZ2ODJzYzRZYzJmYk5PZTRNL2poOGlnTjRFV0lqU3A5?= =?utf-8?B?ZFJ1N2VsUzl5elhoOWdldU00N0dvVVp3ODNqcERBeDljRjdmNE9wNC9HTzNV?= =?utf-8?B?YURPV0docnd6M2lNK1BiSmFEeHpLSlNZN0lKVEltaE05NnhIMVRUMElTTUNh?= =?utf-8?B?L2FienArcnprTVJFVE1YNlByUzJIU3BSd0FwZUtQV2JPbFpzSXZsWVBraWJz?= =?utf-8?B?T2FjRUxSbm52Ykt2N053Nk4xYkVoV2FmSjhHMFNPOHF5VUdqZ25hb0ppNmtW?= =?utf-8?Q?+sCkPshtPbAvGs4H0lFJ?= X-Microsoft-Exchange-Diagnostics: 1;HE1PR01MB1146;6:9w0CCyA2zzZ/fJJcdZQHykfQC3NajsFb87gDZJF1+pe5bAMxwo1+YidKLSlk3DWEuEC/6Xkygy5OL3X0vvBEgVWgyby105pVcxPRKlOW+Pynh52jyzo9jduXCpupeG8xgGExkhr6qfYB2lfAxsPrxTKMSw6qjq5f4ygIee5ZxKvMItRDvkTJznsNyh9qPBa6MCMKncA1chYx0noJ/lcjQgZvB8Bf7BFv0dVHzZ9mJ4HS+kcB4KIXnnEUcUpvRRKtmb/2ozPg6UNOvzqLjw5KNv3sYe5b9hwgWIR/imcYMbnljyPls/s+SOkXLtBxlbToxUu9J8NLAktKVO+qG+qy4OMWG1qTSweJbVEJoyS91uQeEZasL4+hZA5AAC19TBVbiR0NA2c6uq9G5UCETEIqcKIYHtnsA7F4o7Rr4LSWgQA=;5:7/k2icsBpnpbj8Kl4OUfNn+tXHRoL3oi51uuUkA7VgyCP85SelVG1qgi77RLnaV6UTJWnBr8cq8X2eiA2rXq8zXkuYylpOfaSqIVf85eaFDBRjBXQK84X3Hw9vSq7pXYjYPuoRf1FG36jqWySvwwPQ==;24:YtaHeW2579iuiv6DV+zMVzR9iUGsqgSPpJYBZpD8xdmtH21Rmz7VylCqXdqWVOLtQOmrS2+DtODaHtU8/WEQfkKshx6eytV5nTo2QkzYei8= SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-Microsoft-Exchange-Diagnostics: 1;HE1PR01MB1146;7:8ybvh6JgSKGXFa7WlIEftr2cCZlEF9IJVw3hFg80Vd4EPehns6IO3e7Ig+F1z73lgmsIPZ9y6X33qz4QPWbPbKFFdE35c1OO7IaNKJGN9CnjiqAEZy+g/i8EQnQVVPEUET4UpLF3c8+JgT2IcRgkyEdp1OFfao/9DbITaoUn8K5AAjEs14RfY6QGtldEbjechI7WPynbw59F+Vhnizlaxs7bop7ws9RgCwnLQHV/YG6tYxMY124yGOuJveVRbDhkQZdUsvWiFSE8tgkmi/Y5cTl/dP/yc7zb7ixhUZwpqkxRH2i9i8kOrnpvmaI19darbJdnBdRTDYv0vwfmBgaN5pnREFUHFyZJDgSIHz18Oq3lw//uZ67k5pQWJOQ6QY1JACNT+69M0eqwtgGOYLUKiY1ahZvOA3v6PLMO/HgGZ81UTucTMgNn3hgRQWAx2sTvEBNelyd0l2/Yb362IrIWaw== X-OriginatorOrg: umons.ac.be X-MS-Exchange-CrossTenant-OriginalArrivalTime: 24 Jan 2017 11:49:09.9033 (UTC) X-MS-Exchange-CrossTenant-Id: 488bed9d-d6a7-48d5-ba1f-ebec3823b357 X-MS-Exchange-CrossTenant-OriginalAttributedTenantConnectingIp: TenantId=488bed9d-d6a7-48d5-ba1f-ebec3823b357;Ip=[193.190.208.132];Helo=[smtp.umons.ac.be] X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: HE1PR01MB1146 Subject: Re: [Caml-list] type keyword indentation with tuareg Hi, On 2017-01-24, Louis Gesbert wrote: > > let f : type a.a -> a = > fun x -> x That’s the indentation the development version of Tuareg gives as well (with SMIE enabled). Best, C.