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 0000D5D5 for ; Thu, 16 Jun 2022 09:14:56 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:reply-to:to:cc:message-id:in-reply-to: references:mime-version:content-transfer-encoding:subject: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=WT457ymcTqBZojKwQPlFLr/PXcJG8EBEqwMWdA8L5y8=; b=Y31hMJhOkRA+/lXojFg2BxABnoGbnCIav9T9bT6ekmellbSNjRXt8cpV c4bEySogqkInsm4/1bOltY4xEHS+3St26AB/eeVjLFBJeR2/8kAvnqeXX SJx5nxx2JWXASgNviHxZ9dt5V4P/YJH+Lv6910g5DeHUPbqEPGTpcpy6z k=; Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="5.91,304,1647298800"; d="scan'208,217";a="41306140" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Jun 2022 11:14:56 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 67CBFE5D7E; Thu, 16 Jun 2022 11:14:55 +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 C15AEE00BA for ; Thu, 16 Jun 2022 11:14:52 +0200 (CEST) IronPort-SDR: 9D0YFmmlfxLwv5azHv0g7z0httUd/xegw3nhQgMiaXSV/8vLtkYrAn+VsGiaBUVhPvTdZQBAF+ t27vSsR2G76UPKJGywMK+PgjevAf3+2QBaK+R+q/i0Brbm1NxQ/3wm9hWLIUIV2tKFPN1PI1lg z9rW/CsiRxj8p80Mr8pQK7enpIEtvTwbDO6TpNYc3mjyyuP94r/TXFok2eBpEjFOBu7jHGslfx eRvhmzowiyw6L4UlyGLY8vN7z6V8wEsEftFks2Zz7AMkgg5xrJc7wAuLFi9eeUYQG7C5me9Nuz 9rWy2TH+5AsmgSnWZ3s4rvLA X-IPAS-Result: =?us-ascii?q?A0CJIwDn86pih33yDFBaHQEBAQEJARIBBQUBgg8CEgSBC?= =?us-ascii?q?YEDgQFWKwMEC1sBhDaJAJBRgmiHHINjQTWFTYFoEwsBAwENEgEtAgQBAYR6B?= =?us-ascii?q?QICAh2FLR4HAQQ3Aw0BAgQBAQEBAwIDAQEBAQEBAwEBBQEBAQIBAQIEBAETA?= =?us-ascii?q?QEBDA0JBQgKBw4QBUF/PYFZaIESBwIBOAWCNSmDZQMDGQorKxAFCQECFAING?= =?us-ascii?q?QICMSAGBgEjDASCXAGCZAEBMgevFYExgQGEWYIBFRIVgmiBESwBhi2BGgGCD?= =?us-ascii?q?YEChB2CUIFIi0+CZQSDG4cjR4JHBAKBJmCBVAgCCR11hioEUwMJBAcFGxM0E?= =?us-ascii?q?oEhRSwBCAYGBwoFMgYCDBgUBAITElMLEgISDAocDg5GGQwPAxIDEQEHAgsSC?= =?us-ascii?q?BUsCAMCAwgDAgMjCwIDFwkHCgMdCAocEhAUAgQTHgsIAxkfLAkCBA4DQwgLC?= =?us-ascii?q?gECEQQDExgLFggQBAYDCS8NKAsDBQ8NAQYDBgIFBQEDIAMUAwUnBwMhBwsmD?= =?us-ascii?q?Q0EIx0DAwUmAwICGwcCAgMCBhcGAgJALwomDQgECAQcHSQQBQIHMQUELwIeB?= =?us-ascii?q?AUGEQkCBBICBgQFAgQEFgICEggCCCcbBxY2GQEFXQYLCSEcCSARBQYWAyNzB?= =?us-ascii?q?QdBDyk1NjwvIRsKgQ8XKkU9D8A6nxwHKYFWgVKgRIgRjkKSDhGFYjSQRSCiR?= =?us-ascii?q?wSESoILA4FoM0GCHUsBAUtNAQIBAgEMAQIBAQIBAQIBAQEJAQECAQEBAgIBj?= =?us-ascii?q?i6OOT+BBwmFaogFAYERAQE?= IronPort-PHdr: A9a23:gvWojhd2YCDvaKKDDL2Vv3wtlGM+VNfLVj580XLHo4xHfqnrxZn+J kuXvawr0AWSG9yBsLkc1KL/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNbQhEniexba18I Rm5sQnctNQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2U bJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5 KpwVhTmlDkIOCI48GHPi8x/kqRboA66pxdix4LYeZyZOOZicq/Ye94VQnZPUMZPWiBYG4+xc pEAAPcCM+Zdt4n9oEEOrQekCgmqGOzg1CJDinvo0aEm1ugsFxzN0g49ENIUqHnaotX7NL0MX +2rz6fHzzvDYe5Z1jjh54bGaBMur/aNXb9rccrcy1UgGx/fg1mMq4HoOS6e2OQXs2ic6uptT eahhHA9pAF3uzShyNkjio/IhoIO11vK+iZ3zog6K9OgVUV1ZdGqHYdIuS2DOYV4TdssTWJ1t i0nzbAGu4C0czIMyJg+2hHQdfqHc4mT4h75SumRICp3i2xjeL+kgBay61KvyuvzVsaqylpKo DBFn8DKu3sQ2BPd9tKJReFh/ke9xzmPzQbT5/lYLU47m6fVJIItz7owm5ccrEnPACz7lkvog KKZakgo5PSl5uTpbLjpqZGRN4t5hAH6P6gzlcGyA+Y1PAYQUmSG/+m3yb7t/VXhTbhJkvE6i LTVvI7AKcgFqaO1HRVZ3ps95xu/FzuqzdAVkHYdIF5bZR6KgJLlN0zTLP35F/uznlWhnTNty vvbJLPuGI/NIWLGkLr5fbZy9UpcyA0rwNBE4pJUFqkBLOjoWk/0qNzYFhg5MxGow+r9D9V9z JkRWWSAAqCHKq/Sv0WI6vouI+mKeoAVpC7wJvs56/L0kHM1h0URcbem0JcJcny0A+pqLkWBb XrpmNgBEGMKvgQkTOztjV2PSTxTaGioUKI6/z00FZypDYHCRoC2mrCOwia7EYBIaWBAEV2MF m3oeJ+CW/cDdi2eOMFhkiYcWbinUIAuzQuuuxPiy7p7MurU/TUVuY/72Nhv++LTjQ0y9SBzD 8mFz26CVWR0nmcRSz8y3aB/ulB9x0yY0al4hvxYDcZc6+lIUgc8L57czvZ1B8r8WgLbLZ+1T wOBRtipSWU2St8+69gNZkd/XdK4gUaHlwOsD6UYnqfDPpsv6ajRxXe5c9x60G3M2bMup1w+Q 45UKnbggbRwoVvpCpbNgnmewoSnfKJZ8CPL9XzL4EuikWcQciNZd+DpcFY+XQOCr9nw4AbOQ rmvEvIqMwdMz+aFMKJMZdCvg08QF9n5P9GLQW+4nSKcCBCJ3fuhTabHXS0/8Qz7TWQptSEot SKEOAE4QyuspWPFSjFvGV/pS0T2+O9xpTW1VBlnnEmxc0R92u/tqVYujvuGRqZWjupsUEYJr jx1GA34xNfKE5+boBIneqxAYNQ76VMB1GTDtgU7MIbzZ7t6iAs4dAJ691jryw0xEp9JxMonp XVvwAd0KLne3VJNejWw2or5PLLabGfor1i0c6CD4ljFy56N/7sXrvExqlHtpgasQ0gv+nMi3 9RT0mDa65TGAQw6Voj4VEk6sRZg9PnBeidowYTS2DV3NLWs9D/P39V8HOw+1hOpZMtSKoufE RPqVdYfG9CpNfBsnEKgaB0Jeu5InEItF+WhcfbOmKuiPeI72SmjkXwC+4dllESF6yt7TOfMm ZcD2fCRmAWdBX/6ix+6v8b7lJohB3laF3ejySXiGI9aZ7FjNYcNB2C0JsSrx9J4z5fzUn9c/ VSnChsIwsisMRaValX820VX2yF16TSllCK+ijB5lTAy6Kee0CHI6+P4fRwINyhFXigqjFvhJ 5S1k8FPRFKhPG1L3FOu4Uf3wbQepbwqfzGVGB0OJXSsaTg4D/jV1PLKecNE5ZI2vD8CVe29Z QvfUbvhu14B1DulGWJCxTc9fjXsu5PjnhU8hnjOSRQ75HffZ8x0wg/SodLGQvsElDgLTS89h TTRB0P6Mtil8NO8kI3KtO+zEWy7HM42E2Gj3cabuS236Hc/Sx+ylvb2ltDhEBN83C732t9CU j/BqhnxJIfxnfffU6ovbgxjA1ny7NB/E4d1n94rhZ0e7nMdg42c4XsNlWqb3cxz4avldzJNQ DcKx4WQ+w35wAh4KWrPwYvlV3Kby88nZt+gY2pQ1Dhvp8xNDa6V6vRDk04X6hK6oAvXJPRwm DYGj/Yv5HMcq+YTsQwiw2OTGPgeEFJZMirlixmTp4Dm6vwNIjzzK/7pjhc2lMvEbvnKugxGX XflZpouVTR96MlyKhOE0XH+7J3lZMiFaNsSshOOlBKTx+NRKZ83ir8LnX83YSSk5zt/l7R91 EYzjvTY9MCdJm5g/by0GEtdPzzxPIYI/y31yL1ZhoCQ1pyuGZNoHnMKWoHpRLSmCmF317yvO gCQHTk7snreF6DYGFrV6kpvqTfDHpaqLDeaJXUUy/1lXhCbK0EZjhpeD1BY1tYpUxunwsDsa hIz5D0Y4Bv0px1N0aRlNhXyVE/Yvg6uZTpyRoLVf380pklSokzSN8KZ9Od6GSpVq4agoAK6I Wuefw1UDGsNVx/MFxX5M7Kp/9WF7/mAC7/0Ma7VebvX4787Nb/A1de134Bh5TrJKsifIiwoE aggwkQaFXFhR5aJw3NWEWpNy3iLNpTA7Bakpn8n9obmqrKxBFipvNHTTOAKVLcnsxGu3fXTb 6jJ3mAjdWwej8lcgiWZgLkHgAxL2nooLWT3V+5b83SUFOWLw8o1R1Yac38hbZoTqfhhhE8XY oiB04myjeYwj+ZpWQ4UDhq7x5vvP5dMfT/1NUubVh/ab/LceGeNmZuxO/rkDuYJ6Ycc/xyo5 WTCQhSlZGnZ0WOzEUr2a6YX1GmaJEAM4dDmNEwwUy65FpS3M1XsOdtzx1Xa2JUSgXXHfS4ZO Dl4KAZWq6GIqDhfmrN5EnBA6XxsKa+FnTyY5q/WMMRet/wjGSlym+9AhRZyg7JI8CFJQuB0k yrOv5ZvpV+hiOyG1jtgVlJHtD9KgIuBuUgqN7/e89FMXnPN/RRF6mv1aVxCv9x+FtjmoLxd0 PDUkb7rbixH78rT4NdaANLdLs2KdnQ7cFLoFDPSEAoZXGurOGXY1Ck/2LmZ8nyYqIR/q4C5y MJIE+UdDgBvUKpAVxcAfpRKOpp8UzI6nKTOiccJ4SH7txzNXIBBuYiBUPuOAPLpITLfjL9eZ hJOz6mrSOZbfoD9xUFmbUF32YrQHE+FF9JAqyskYgIyoV4L/XlyQ2sb3FjsbAygpnEJX63R/ FZ+mk5lbOIh+S25qU8wPUbPrTAsnVMZgtD5mXaKdSLpK7qsG4ZMAiz7ug4/KNmoJmQ9JR33l ktiOjDeQrtXhLY1bmFnhjjXvp5XEOJdR6lJCPf17faNbvMn3BJSsHf/raeozezfAJ1tmU0ka 8z1x5qh8xlmcMZzPqnMPK1U0h5XnKuIsSLu2PpjmGcj IronPort-Data: A9a23:TvAPfKuljOACKZ5fpukqaTgAp+fnVO9YMUV32f8akzHdYApBsoF/q tZmKTyHPPmCYzegKNskPd+z/EIA6MKAx4AwGgFp+SE3HyIagMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTraCYEidfCc8IMsboUsLd9UR38g52LBVPyvX4 Ymo+5OGZgf8s9JJGjt8B5yr+EsHUMva42twUmwWPZina3eD/5W9JMt3yZCZdxMUcKEMdgKJb 7qrIIWCw4/s10xF5uVJPVrMWhZirrb6ZWBig5fNMkSoqkAqSicais7XOBeAAKtao23hojx/9 DlCnaD3SCp5ZKTFpKMMcARTFi1EFI1EpKCSdBBTseTLp6HHW2Dp3+0oF0QqJYoF5qBwG2hI+ vFeJiplghKr17rwmej9ELU2wJ15caEHP6tH0p1k5TPUBPBjTZ3FQr6M6N5U0TEYgdpHG/nTI cQDAdZqRE2eMkceYQpHYH44tN6xnHn+czlzkgmcvaol5XfzwCVb3ZG4ZbI5ffTQGZQOzh/wS nj912/wBxVfMN2E1RKe43e0j6nOmzn6UcQcDtWFGuVCm1iP3jRITgYTSUO8vOX/jVS3Xd1Sb UIOksYzkUQs3HDsT/StBRSxnDmVnQMXXtZqOs04tB7Yn8I4/D2lLmQDSzdAbvkvu8k3WSEm2 ze1czXBW2wHXFq9Fyn1y1uEkd+hEXRFfTJSP0foWSNfuIKz/+nfmzqSFo4LLUKjsjHiMR/Kq w1mQQAlgqkL1ZVNzKCn5Vfan3SrvJHPQQNz6B+/soOZAuFRO9HNi2+AswSzARN8wGCxEwnpU J8sxpL20Qz2JcvR/BFhuc1UdF1T296LMSfHnXlkFIQ7+jKm9haLJN4NvWonexczbZ5fJ1cFh XM/XysOvve/21P0PMdKj36ZVJpCIVXIT4y1D6GLN4omjmZZJVbfpX8GibGsM5DFyhR9yvFmU XtqWcG2BHAVBMxaIMmeGI8gPUsQ7nlmnwv7HMilpzz+iOb2TCPLFd8tbQXfBshkvfvsiFiEq L53apraoz0BC7eWSneMruYuwaUidiVT6Wbe8JAMKYZu42NORAkcNhMm6eh4JtE7wvkOz7agE 7PUchYw9WcTTEbvcW2iAk2Popu2NXqmhX5kbyEqI3iy3H0vPdSm4KsFJskwZ7Ah++Elw+QtF 6sJfMCJA/JuTDXb+mVNNMGj/NA6LBn71xiTOyeFYSQke8IyTQL+5dK5LBDk8zMDD3TruJJm8 aGgzA7SXbEKWx9mUJTNcPuqwl7o5Sodlet+UlHmON5WfEmwooFmJzag3PgtKscDJFPN3GLCh QqRBB4Zo8jLopM0oYmQ3f7U89/xHrInTERAHmTd4bKnDgXg/zKukd1aTeKFXTHBT2etpPeva OBT+PHLMPMdmWFMvYchQa1gyrgz5oeyqrJXl182HHjCY1mxML54Jmia2s1D6v9EyrND6FmxQ EuJ9dQcN6/QYJHpF1sYJQwEaOWf1KBEw2GMvahteEiqtjVq+LenUFlJO0XegiJqM7YoYpgux v0suZBK5lXn2AYqKNuPkgtd63+Ici4bS6wiu5wXXN3rhw4sxg0QaJDQEHWssoqKd80KKUw2O jiJmOzFnb1ayUeEfWBqTSrB2u9UhJIvvhFWzQ5SfgzXyoad3vJnjgdM9TkXTxhOykQV2u1+D WFnKklpKPjc5DxvnsVCAzihFl0THhGf4UCtmVIFmHeDExuzU3DVdDZ7IuOR5EcE7yRbZDFd8 7zexny8CWTme8T43y0TX095qq2zFIQvplGawM33Td6YG5QaYCb+hvH8b2Q/qyz4DJ5jn0bAv +Rrorp9MPWpKS4KrqQnIICGzrBMGgucLWlPTPwJEHnlxo0AlOVeGARiKnxdvutWIuDSt1S9F 9RpO94JUA630imD6D4BbULJz3mYg9ZxjOfuuJuyTYLFj1dbhj1zuZTf+27wngfHhv1wxN0lJ Nq5my2qSwStaLg9p4MJhM5eM2y3bJ8KfmUQGQxzHPohT/o+jQ2nTa3+PnZYcZlY3MuLMi94Z D/+WpI= IronPort-HdrOrdr: A9a23:6UyL8q19+qjBCGQLGWpMZQqjBK0kLtp133Aq2lEZdPU1SK2lfq WV9sjzuiWbtN98YgBDpTniAsm9qBHnmaKdiLN5VYtKOjOW21dAR7sO0WKN+VLd8n3FndJg6Q == X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.91,304,1647298800"; d="scan'208,217";a="16929358" X-MGA-submission: =?us-ascii?q?MDE5to+k69i3YrT5IvH+FQk9Pr2S7hb/MoJr9I?= =?us-ascii?q?Ex6O5+l7mDR2HUSg8Uf1h3z0EANki+J7e3Q6179DFbbUeeT4fOeo2Ls4?= =?us-ascii?q?tXDn3SDTdHCVOxD1kvACFfUlxW+ZDMZSyWY2PpFMPuuH7g146fKq19+i?= =?us-ascii?q?6z6JPCbMexeyWO4KxQIq2Ckw=3D=3D?= Received: from smtp03.smtpout.orange.fr (HELO smtp.smtpout.orange.fr) ([80.12.242.125]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-SHA; 16 Jun 2022 11:14:53 +0200 Received: from opme11oxm12nd1.pom.fr.intraorange ([10.110.57.12]) by smtp.orange.fr with ESMTP id 1laVoHD2R5ohR1laVo4L0h; Thu, 16 Jun 2022 11:14:51 +0200 X-ME-Helo: opme11oxm12nd1.pom.fr.intraorange X-ME-Auth: Mzf3Zif0MDFjODUzNDQwZif0MiIyOGQ2ZWYyOWNiZiUyYiVlZGQyNTUxYTYwNWU1M2U4NA== X-ME-Date: Thu, 16 Jun 2022 11:14:51 +0200 X-ME-IP: 194.214.116.169 Date: Thu, 16 Jun 2022 11:14:51 +0200 (CEST) From: Jean-Denis EIDEN JEAN-DENIS Reply-To: Jean-Denis EIDEN JEAN-DENIS To: Oleg , Andreas Rossberg Cc: asai@is.ocha.ac.jp, caml-list@inria.fr Message-ID: <997333153.1151073.1655370891631.JavaMail.open-xchange@opme11oxm12nd1.pom.fr.intraorange> In-Reply-To: <57A2C5E8-34C7-4B90-9FEF-607B8236E379@mpi-sws.org> References: <20220616062405.GA1555@Melchior.localnet> <57A2C5E8-34C7-4B90-9FEF-607B8236E379@mpi-sws.org> MIME-Version: 1.0 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Priority: 3 Importance: Medium X-Mailer: Open-Xchange Mailer v7.6.3-Rev64 X-Originating-IP: 194.214.116.169 X-Originating-Client: open-xchange-appsuite Subject: [Caml-list] unsubscribe X-Loop: caml-list@inria.fr X-Sequence: 18804 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At:


unsubscribe