From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=vGD1hzxY; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id 58FB7400A5 for ; Mon, 26 Jan 2026 08:15:27 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:message-id:mime-version:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=wjunn4+x2QEs4HRrQcozT7INn2DM0lGSHIZkmkDz3T0=; b=vGD1hzxYzeGHVPnhO2VddHdDC4dr/TmSujMqo9dXgbGXJlOFF6iPCESE K5iTID9J9tAD9lExAf2yFpGkkUvM3lEAdQbaMH53Wo/hxquZJTmc5d9Cv AU4fNVO1/YWAUL+Thgn2Fo1VFPZXkn3TVPESN2lf/Dygl6DE/ucRU+IUK Y=; X-CSE-ConnectionGUID: k1Hw/39wRtGc/iJL5CM4yg== X-CSE-MsgGUID: so41DFCUTb6gkw764Xtiiw== 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@prod-sympa-app.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.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; 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 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.21,254,1763420400"; d="scan'208";a="260269784" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Jan 2026 09:15:26 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 8B00A822C5; Mon, 26 Jan 2026 09:15:25 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 9EFA3822AB for ; Mon, 26 Jan 2026 09:15:11 +0100 (CET) X-CSE-ConnectionGUID: 0iDnSmaMSiSeLZqM5V3AcA== X-CSE-MsgGUID: NswMHfwCTZGGEYUZqlBOag== IronPort-SDR: 6977228e_oe/w86YP4xo1VmOfT8JISZ0/4yPUm+OK7fTn2mc12kRrjsG OB3OaccQIRPn0HnkAEnkwU6oz3eU8NJld50gxNg== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0EMBQBkIXdpha2v2ltahRqBZTQHCIUhkCgGAQEGgSEaA?= =?us-ascii?q?YV/jHGNFwMSAg8BAwENUQQBAQMBA4R2MYxoAh8GAQRHAQIEAQEBAQMCAwEBA?= =?us-ascii?q?QEBAQEBAQ0BAQUBAQECAQECBAYBAhABAQEBQEmGIC8IBYJFFzqCFiwNgR0KH?= =?us-ascii?q?QEBCwEsNAImAhIgGgYCAjgEgmGCIQIHSgeoGYEygQGCDAEBBt4RCSB/iQEBh?= =?us-ascii?q?H6Eb4EhG32BEIoNgw6CaYINGVIoCgoSCw8/BQYvSgEBLwE9gVwEAxECK4Qwg?= =?us-ascii?q?Vh5gQtHhjmBShwDWSwBSwo1DDODKjxlEj8+STkCPwVHHoJ5hgcPiCGDGYIDG?= =?us-ascii?q?wSQIkTNDAYFhCaEcJ1Ig14BuFqHJalBgiKBXDMaCDCCVU5OAxkPjXgBQYNkw?= =?us-ascii?q?05Fky6BSwI?= IronPort-PHdr: A9a23:sd6UwhFpURSNu47RFxljOJ1Gf6BGhN3EVzX9CrIZgr5DOp6u447ld BSGo6k20BmRBc6Ctq0d16L/iOPJZy8p2d65qncMcZhBBVcuqP49uEgNJvDAImDAaMDQUiohA c5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/I Ru5oAnLqsUanYRuJrsxxxbLv3dFdPldyH91K16Ugxvz6cC88YJ5/S9Nofwh7clAUav7f6Q8U 7NVCSktPn426sP2qxTNVBOD6HQEXGoZixZFHQfL4gziUpj+riX1uOx92DKHPcLtVrA7RS6i7 6ZwRxD2jioMKiM0/3vWisx0i6JbvQ6hqhliyIPafI2ZKPxzdb7Sc9MfXWpBQsZQXDFaAoOhd IQPDfQOMvpEr4Lgo1cCsAeyCQyqCejyyDFHm2X20LU03eohDw/I3wMvEM4Tv3nPsNX5KL0fX fypwKXUzzjOae5d1zfn6IjPdxAsue+CXbJ3ccrU00YvDB7OgFOOpoz5JTyV0PkGvm+f7+p8V eKvjnUnphpqojio3MgskpPFiZ4SylDK+yV23pg6KMS+RUVmbtGqDIFeuDuGN4tqXMwiWWdot T44x7EbuJO2YScExYokyhPCavGJc4qF7xD9WeiRPzt1mnxodbC9ihqu80Wt1/PxW8u03lhFs yZIj8XAumwM2hHT7MWMV/hz/l+51DuLygzf8P9ILV03mKbBNpIswL49moAOvUnBECL7nlj9g rWMeUU+4Oeo7vzqYrX4qZ+YMI95kgb+MrkymsCmHOg1MAYDU3Ke+eSgzrLv4Vf1QLBLjv05i KbWrY3aKd4Hqa6+Bg9Zyocj6xChADe6yNkVmWQLIEhbdB6ajIXlIUzCLfL4APulnlihkjlmy +jDPrL7A5XNKnbDkK3mfbZ480NczBYzzdBa55JPEbwBO/XzVVXptNDCEhA5NAK0w+j5B9pjz o8eQ36AAreFMKPOtl+F/v4gLPOJZI8RoTr9L/kl5+XyjXIigl8cfayp3YMNZ3yiH/RmJV+ZY Xv2jdsbH2cKpBIyTOrxh1KaSz5ce26yX74g5jE8EI+qEJ/PRo+zj7yG3ym1BIVbaGBaBFyUC 3fnaZuEVfQWZi+KJc9hjyAEWaG8R4Ij2xyirgr6y6Z9IebI4CEYsJPj1Ndv6OLOiBE+7yB7D 8OY022VUm50nWIIRzou0a5nrkJyxEmN37RkjvJeDdBc+vZJXR0gNZHA1+F0E8n8VBrOcNuRU 1amWtumDCkrQN8t3tEAfl5xG866jhDNxyWqA6Eal7iMBJEs6KzRw2X/Kdsug0rBgaIoil1jR spUKUWngLR+/k7dHd3niUKcwpqqcqEVx2bp+XuKyyLauF1YVRVYSqLMRTYUYUXYoNmvtRCKd KOnFblyalgJ8sWFMKYfM4WBZTRuQf7iPI+beGetgyKrAg7OwLqQbY3scmFb3SPHCUFCnRpAt W2eO10YASGs63nbECQoDUjmNkfw8exlgGi8R1dyxAaEYUBshPKu4hBAvfWHULsI264c/iIoq jF6BlG4itbKC9+bjxFmdb0aatQz7lpKhirCrwIoBpW7NOh5g0IGNQR6u0S7zxJsFoBJitQnt lst0RY3cP3DllZdfmve2JH/M7HKbGL1+XhDcobw3VfTmJaT86YLs7Ejrkn7+RquDgwk+mlm1 N9c1z2d4I/LBUwcS8C5VEF/7BV8q7zAB0t1r4rJyX1hN7W1uT7eypooAuUi0BOpY9ZYNuuNC gbzF8QQA8XmJvYtnhClaRcNPeYa86BRXYvuc+eG3bWDJ+FphHStimpJ7Y08mkOA+ixgS/LZi o4fyqLQ1Q+GWjHgyVa555Gu39odNXdLQTf5kHe/V+szLuVocI0GCHmjOZiyz9R63Nv2XmJAs UWkHxUA0dOofhybaxr82xdR3AIZuy/C+2PwwjpqnjUutqfa0jbJxrGocAYHP3VjX25rlRHnJ oa6gt1QDy3KJ0A50QCo40r33f0RoLh/KnL7WkBBZ279KG9sX6b65fKSJsVI7p0vqyBeVu+xN EubRrDKqBwfyyr/HmFayVjXbhmSs47i11x/gWOZdzNoqWbBPNp33VHZ7cDdQvhY2nwHQjN5g H/ZHAr0M96s9NSS35DN14L2H2a9VphIWTLsxJvGvyy162BnSRGyhPG8nNT7HBNygHa9jYA6E 3yX8VClPdKj3r/yKe99e0h0GFLwjqgyUppzlIc9ntBY2HQXgImU4WtSlG7yNdtB3qetJHEJR DMN35vU+F20gQs5dyLPnt2kECzCmZgEBZHyeG4d1yMj4tofDa6V6OcBhi5puh+jqhqXZ/Fhn zAbwP9o6XgAguhPthB+q0fVSr0UA0RcOjTh0hqS6NXr5qFLZGO0WaO33VI4ltevAryP6FI5O j6xatI5ECl8498qelbQ0HjowprjccGWZtUduBCZ2USIn61eL5Q/keAPjCxsNDfmvHEr/OU8i ARnwZCwuIXUTgcltLL8GBNTMSf5It8C4jy4x7gLhd6Yhsr8VoUkADgAW4HkCO6lAC5H/+qyL B6ASVhe4j+aAeaNTFbZsh426SuQTtbzcCvLbHgBkYczGV/HfREZ3VBSBHJgwtY4Dlz4npW/N h4pv3ZIuw6+8lwWkYcKf1H+VGzbuQulOCwxVIDZKRtZ5w1foUzSNISf6Ol3Ai1VrIesqEqIK 2OSaxkOBmYMPy7MT1HlNb2z6dSS9vjeA+uxJvfTJ76JrKQbXvOMj/pDy6Ne9i2XfoWKN3hmV Lgg31ZbGGt+A4LfkikOTCoek2TMadSarVGy4H8/ose6+fXtEAXhgOnHQ6NVKslq8guqjL2rM POMwX8mcnBdyppUg3rJx7ETwRgZjCQmezS2ELsGvDLAV+qBw+kNVk5dMnwucpIXtMdelkFEI obDh8nw16Jkg/J9EFpDWVH724moacEMP2ChJQbHCUKMZ/yNITzGxd2yYLvpGOQW1rwE8UTv5 HDCTBSwW1bL3yPkXB2uL+xW2SSSPRgF/Zq4bg4oEm/7CtTvdhy8NtZzyzww27w9wH3QZgt+e XBxdV1AqrqI4GZWmPJ6TiZF8npgNsGfnC+BqeLfJJgbvLE4Z0Y83/If+3k8x7ZPuWtcQ+dpn SLJstN0i1a7jqzWlWEhVQZH8nBOhY2CsVgkMqLcvMolOz6M7FcG6mOeDA4Prt1uB4j0uqxe/ dPIkbr6NDZI99+HtdtZHcXfL9iLdWYwKRe8UiCBFxMLFHT4UAOXz1wYivyZ8WeZ64Q3uoS50 oRbUadVDRQ8XrYTDkAvdDTjCJBqQnZ9zuXdidIBvTy7rRbYSNgctZfCBKv66RrHMzGQlf9PY BUGzL6qdOz706Xg3EV6LFJ9korHFhiINe0= IronPort-Data: A9a23:W8ThSaDWnFledBVW/z/nw5YqxClBgxIJ4kV8jS/XYbTApD123jwAn 2ZLXW+DOqmMZmH2KIwnbdng8xsH6MSBxoU1OVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG86yQ6jOfQG+eU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgWcc3l48sfrZ9ks25qqq4Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlkvF/w0gA8+Sib3ydEsHWNb6ZWBiXVILM0QKqkEqSh0ais7XBtJEAatko2nhc+RK9 Tl4ncfYpTHFkUH7sL91vxFwS0mSNEDdkVPNCSDXXce7lyUqf5ZwqhnH4Y5f0YAwo45K7W9yG fMwcDEhaCuGjseNwYm2btt1o5kdd+DgFdZK0p1g5Wmx4fcORo3fBvyVvpldwD5owMVPEv/Se owSbj8HgBboMkQJYA5HTsthwaHx2SKXnz5w8Dp5oYIz/2jW1yRq17H1dtHSdNKHSK25m27B/ TyXrj+hWUBy2Nq37yGa11KimcTzrwzUdbMvJqS83NljjwjGroAUIEZKBQrk+aXRZlSFc9lWL khR/is1sYAp5UmzR5/8WQe5qTiKpHYht8F4FPAmrVjSkezR/w/BQG0FQTdNdZots8peqSEWO kGhx9LFAwdquZiuSEmQ0oWNiG6MYgEeBDpXDcMbdjfp9eUPt6kdtHryojtLF7Opy4SqQnf13 znS6i0/iLwfkIgA0KDTEbH7b9CE+Mehou0dvFm/soeZAuVRP9bNi2uAsgaz0Bq4BNzFJmRtR VBd8yRk0AzxMX19vHfRELRSRO3BCwetNTzTiFJyWpwo9jDl9Hupfeht3d2KH28wapxsUWawM Cf751gLjLcNZyTCUEOCS9nqYyjc5fO7TYy9Ph0VB/ISCqVMmPivpnE/PBPMgzi0zSDBU8gXY P+mTCplNl5CYYwP8dZ8b7x1PWYDl39il1DAD4v21Qqm2re4bXuYA+VNeliXY+xzqOvOrAzJ+ pwNf4GH2jdOYt3YOyP3yI80KUxVDH4ZAZutlddbWNTeKSVbGUYgKcTr/5UfR6JfkZ94rNz4p kOGZhcAyX7Up2H2FgGRW3UyNJLtRcleqFw4DwwNPHGp+WopO6iwyKI5aakyT70Vz8147PtOV /JeUd6xMvdObTXm+jomcpj2qrJ5RimrnQ6jOymEYiA1WpxRVzzy5d7vezXw+Bk0DiaYsdU0p 5ui3Fj5RaUvahtDDsGMTt6S1HK04GYgndxtU3vyItV8fFvm9K5oIXfTit41O8Q9FgXR9ACF1 gq5AQYqmseVmtUbqOL2vKGjq5ulN8BcHUAARmnS0uuQBBngp2GmxddNbfaMcTXjT1jLwaSFZ 9hO7vTCIfYCzUdrsY19Lu5R9pgAxeDT/p1U8gc1O0/wTQWPKqhhKXy4z8VwpvVz5rtGizCXB GOL2PdnYIusBu20PmIVFgQfasa76co1gRjXtPQ8H1X77nR4/Z2BSkRjACOPgy18cppzFp0U8 c48iZRH7j66tB4LM8mHvA9Q5W+jPnwNaIR5l5A4UavAqBsn9UFGWrPYUhTJ2ZCob85dFEsEL hu/prvwt54FymXsK3MMRGXwh8xDjpEwiTV25V4lJWXRvOHah/UyjSZjwR5uQit7lhx4gv9OY E51PEhIJIKLzTdipO5He0uOQwhhJhmoynbd+msztl/ybheXDzTWDWgHJ+yy0lgT8Dtcchhl7 bio8jvZfgiwTv7h/BkZeBBDkOPif+xT5weZucGAHua5JbcYTwfhoJeTYTsvl0O6L+I33FbKt Mt7ztZWMKfbDxMdk4c/Koud1IkTdiy6GXx/calh0p8kTWD4UxOu6AeKMHG0K59sJeSV0EqWC P5OB8NoVjag2Ba3shUnDrwoJuYsrcIA+dA9frXaGlRfl765sDBSkYnx8xLmjzQBWORekscaK 6LQeQmdE2eWu2Bmpm/VoORAOUu6edMhZjCg7Nuq8e4MKY0PgNtsfW42zLGwmXefayljwD65o yLBYPXw49F56IExgbbpLLpPNz+0Jfz3Su6M1gK56PZKTNHXNPbxpxEnkUbmMytWLIkudYxOz 5rVi+HO3WTBoLoSeELakcPYF6B2uOODbNAOOcfzdHRnjS+OXfH32CQ6+ke6FIdole1M7cz2V iq6b8qNLeQuYel//0EMSSZiEEc6MZ/VP5fQ/Xb367zGDxUGygXIIe+27XKjPykRaiYMPIa4E QPu/eqn4tdDtolXGRsYHLdcDoRlJEP4E74THzErWeJ00kHz6r9DhlfjqfbkwTbWFjzdT5285 I7MHl77dRu7tLyOx9Zc22C3lgNCF25z2IHcYWpEk+OaSRjjZILFEQjZGY4BA4kSmSv82pz1D N0IRHV3Ej3zBFyobj2liOkOnW6j6igmIdDwPnoi+E2aZire6EZsxld+3n8I3kqasQcPAA1qx R/yN5Ew0tWMLklVeNsu IronPort-HdrOrdr: A9a23:JAdKTaMBWenoksBcTs2jsMiBIKoaSvp037AO7TETdfU1SKylfq WV9sjzuiWetN98Yh0dcLO7WZVoI0mzyXcd2+B4AV7NZmbbkVrtCIFt5Yb/hxLkHTOWzJ8+6U 6WScVDNOE= X-Talos-CUID: =?us-ascii?q?9a23=3AYBkkm2nlKpTTaJtZGWHTH5xCY3fXOSXc4HHrJka?= =?us-ascii?q?dMmdSRZmnUHrNxvhNmOM7zg=3D=3D?= X-Talos-MUID: 9a23:iyjYNAT0ylAyshrBRXTKny5HFMl3yJicJ28goKg0os2uEiV/bmI= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.21,254,1763420400"; d="scan'208";a="136993039" X-MGA-submission: =?us-ascii?q?MDGbj5lC5IOCzI+84hvrARsqeZU4rmVf4JBtAw?= =?us-ascii?q?rA6trXp4R+VzzkmHF+wDtGXHFdmuPsZGCNZRXRN+JUtCfgA0HB3PZcB6?= =?us-ascii?q?gIyevNJqx9HBp33UXhVvqD3IJBclVm0UnKWwz6X2jCe0prxd/WtT9UAK?= =?us-ascii?q?KVEqVDYl4YkCEO/TtynTthgg=3D=3D?= Received: from out-173.mta0.migadu.com ([91.218.175.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 26 Jan 2026 09:15:10 +0100 Date: Mon, 26 Jan 2026 09:15:05 +0100 X-Report-Abuse: Please report any abuse attempt to abuse@migadu.com and include these headers. From: Thomas Letan To: caml-list@inria.fr Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline X-Migadu-Flow: FLOW_OUT Subject: [Caml-list] Reply-To: Thomas Letan X-Loop: caml-list@inria.fr X-Sequence: 19438 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