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=jWt+o9T3; 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 676D240085 for ; Tue, 27 Jan 2026 20:20:23 +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=jWt+o9T3ggpCgbUWhk7F6C018wORtf5JLL1MLYNQ1dNvSdaHhZjDbbVk VsqaN7zuXxz++XQyxRBFnwo040C7PBLCQcA5nTCMJda4CYw44fDwqAWaN MP40AzE3w0CMF5D8Hdyp/3Tb1357lj9sESZ/Kta0IvIbzOEqXL5Dzjp3D I=; X-CSE-ConnectionGUID: MpS6acEHSaumr3rDxqPLGA== X-CSE-MsgGUID: ARWyE8dISIK4wXipmTad1Q== 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,257,1763420400"; d="scan'208";a="260634452" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Jan 2026 21:20:23 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 594BD83D7E; Tue, 27 Jan 2026 21:20:23 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 0E9CC83D38 for ; Tue, 27 Jan 2026 21:20:13 +0100 (CET) X-CSE-ConnectionGUID: f3T+cSCZRyOtUqe3y2D65A== X-CSE-MsgGUID: 8tLBn7iGSLyTydNOlKjZQg== IronPort-SDR: 69791dfc_57ngb2gWJW+WM87DCyzToPIwtlskQHugvdRV2ptOP2hnYcS vXacWqG8p3Jhj/lySaEnga149qOJROgRARcfs8A== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0EWBADRHHlphbc6119agn0CghuBZTQHCIUhkCgGAQEGg?= =?us-ascii?q?TuGAIxVHI0XAxICDwEDAQ1RBAEBAwEDhHYXGoxrAh8GAQRHAQIEAQEBAQMCA?= =?us-ascii?q?wEBAQEBAQEBAQ0BAQUBAQECAQECBAYBAhABAQEBQEmGIC8IBYJFFzqCFiwNg?= =?us-ascii?q?R0KHQEBCwEsNAImAhIgGgYCAjgEgmGCIQIHSgezEIEygQGCDAEBBrkcpHUJI?= =?us-ascii?q?H+JAQGEfoRvgSEbfYEQig2DDoJpgg0ZUigKChILDz8FBi9KAQErAT2BXAQDE?= =?us-ascii?q?QIrhDCBWHmBC0eGZoFKHANZLAFLCjUMM4MqPGUSPz5JOQI/BUcYgniGBw+IH?= =?us-ascii?q?4NTggMbBJBCRM0OBgWEJoRwnUiDXgG4WoclqUGCIoFcMxoIMIJVTk4DGQ+Ne?= =?us-ascii?q?AFBg2TDIkWTLoFLAg?= IronPort-PHdr: A9a23:jX0t3hRKg5kV+K5KoQ/5zYFuZtpsogqVAWYlg6HPa5pwe6iut67vI FbYra00ygOSAcODs7kd1bOK6+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4qoL3O+B9PRKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oAveu8UMnYduNqk9xgbIr3dVdOla2X5jKE6OkRr7+sq/85lv/jhKtfk87cBAS6L6f6o5T bxcEjsrNn0+6dPouxfeUwaB/2MQXGoOnBVHGgTI8h70UIrpviT1quRy1i+aPdbrTb8vQjSt8 71rSB7zhygZMTMy7XzahdZxjKJfpxKhugB/zovJa4ybKPZyYqXQds4VS2pERsZRSyxACZ6nb 4sSFOUBP/hXoJXhp1ATqReyGBWgCObpxzRVhHH5wLc63vwvHw/GwgIuHN0Bv2jJo9juKKceT fq4wLXUwTnfbf5b3yr25ojSchAmpPGBRax+ccrWyUkqDQzFlUibp4r7MDOJzOsNtXWQ4u1kV eKzi24nrhpxryO0xscrkIbJnpgZxUzD9SV3zoY6O8O3RVd9bNW5H5ReqzuUOJFqQsM+XW5oo iA6x6UEtJKmfSUH1ZspygDcZvGacoWG4hDuWeSPLDl4mn5oZryyihSw/ES8yODxS9e53VRKo CRKj9XBq2wB2wDS58WHTPZ240Sv2S6X2g3X6uxIO144mbfbJpI7wrM9lYAfvVnAEyL4nkj9k bWYeV8++uey7uTqerXmqYGYN49zkgz+NbkumtCmDeglMQUDUXKX+eGg1LL54EH1WrBKjvw5k qbDrZ/aON4XqbK+Aw9Qyooj6hC/ACm60NkAmXQKLEhJdAyag4XpIV3DIPP1Ae2ij1mvnjpn3 /XGMafgApXJIHjDirDhfbNl5k5Y1AozzdVf54lPB7EaJ/L8QFfxuMbEAR8+PQy0zfjoB8tl2 oMERW2PGrOZML/VsVKQ+u0gOeyMZIsMtDb5Kvgl/OLugGQimV4deKmpxYEYZGq5HvRgOUWZY GDjjs0PEWcQpgY+Svflh0WYUTFPf3ayQ7485jYjBY67FYvDSZ6igLuC0imhBpBbeGJIBkiWE Xj2aYWKWO0CZTqVIs98jjwITKWtRowv2B20sQ/616BoIvfO9i0dtJLj28J66PDOlR0o6TN0C MGd33mQQGF3n2MIQic70rhwr0Nz1FmNzbR1jfpAGdNO4vNGSB06OoLEwuJiEt78Qg3Pcs+SS Fa+TNWrGSs/Q84szdETe0p9AM2ijh7b0CqqHbAVk7uLCYQu/K/Awnb/OpU193GT36AkixwiQ 9BTHWygnK92sQbJVKDTlEDMq6atcK0HlArA6G6FhT6KoEFdSyZrVqzdG3sYaEXboIKqtQv5U 7ayBOF/YUN6wsmYJ/4TMrUB7H1DTfbnYpHFZn6p3n23DlCOz6+Na4zjfyMc2j/cAQ4KiVNb5 m6IYC45ACrpuGfCFHp2D1u6Z1/s9PJWs3SyVgk/yA+EYkAyn6Gt9EstjOeHA+gWwqpCvS4gr ztuG1Po287WDsGovA1oZONXZt0z7VoUnXnBuVlFN4e7Z7tnmkZYcwlzuBb20A5rD4xbjcUwh HQ30E8refne1U9ILnWd3J/5NqCRIW73lPy2Q4jR3FyWkNOf+6NVre89t02mpgaiUEwr73Rg1 dBRlXqa/JTDSgQIA9r3VQ4s+h52qqu/AGF17p7I1XBqLai/syPTk9MvCuw/zx+8ftBZeKqaH Q72GsceCoCgMusv01SuaxsFOqhV+stWd4uia/uDw4awO+942jmhg2pK7cE1006B8TZ9Vv+dx 4wMkLmT2gqKUSu5jU/0452xw9kZI2xCWDPvknuBZsYZfKB5cIcVBH37JsS2wo87nJvxQztC8 1XlAVoa2civcB7Ublrn3AQW215ExB7v0Sa+0TFwlCkk66SF2ymbieD+dB8cEnVMTXEkhlDiL 4W5xYN/PgDgf00ymR2p6FyvjaxHpKFkB3LUSF8OdC/4IWxvGPj4pv+JZMhB74ktuCNcXbGnY FyUfbX6pgMTzyLpG2Y2KCkTTzixod25mhV7jDjYN3NvtD/Dfso2wx7D5dvaTPoX3zwcRSA+h yOFTlS7OtCo+52TmfKh+qi6S2KkTbVIdiDzi4iHuiW26CVmDAa+kPa6htD8WVlnl3Wiip83B WOR/E20a5Kjz6mgNON7YkRkYT20o9F3HI1ziMp4hZ0d32QbmoTA+HMGlWnpNtAIkan6bXcLW XsK24uEvU6/gRAlcyLPntKiBRD/ioN7atK3Y30bwHc45sFOUuKP6aBc2DFyqRy+pB7QZv50m nEcz+Ev4TgUmbJs2kJlwyODD7QVBUQdMzbrkkHC68y+qb5/f2Gmaf6700RwkN3rX9Tg6klMH W30fJsvB3o66tl/NUnky3r68sfvf9feYN9Z5VWE1hzHieZSMpc4kPEH0DFmNWzKtnog0+cnj BZq0MLf3sDPOyB38am+GBIdKiztapZZ5GT2lagH1JXez8W1E55mADlOQJb4UafiDmcJrfq+U mTGWDwk9iXKQPyFRF/ZsRg76SqISczjNmnLdihEi487GV/AdAoHx1pIFDQiwsxjT17snZy4N h4ktnZJoQSjz3kEguNuPB3iXmqNvwK0cnExSZeWIAcQ5QZHr0bTOsiD4u8hBSxcuJigowWBN yqQYAEtbylBW0qPA03vM+ur9Z/F8ueRCvf4JPzLKfCHregUPxuR7aqmyZAuvzOFN8HVe2JnE +V+wE1IG3ZwB8XenTwLDS0RjSPEKcCB9l+w/Sh+r8b39/qOOkqn/YyUF75bKsli4TixnLvGb r7LwiNlIG8e05IDzHPVjrMY2RYehjpveD+kDbkb/X+QCviJx+kKX1hCO3gWVoMA5rl0xgRXP M/Hlt75nqV1iPI4ERYNVFDsnN2oed1fI2y5MwCPD0KKObKaYDzTlpCqJ/nlFPsN3KMN50bj3 FTTW1XuNTmCiTTzAhWmMOUWyTqeIAQbooa2NBBkFWnkStviLBy9Kt5+yzMskthWzjvHM3ARN T9kfgZDtLqVuGlcnvV6AERa6XN9a+KDlSiU4qOLT/Re+esuGSlym+9AtT4izKBJ6ShfWPFvs CzPsps38wrgl/WGk3xiURVHpisNj4WO9xYHW+2R5txLXnDK+wgI5GObBkERptdrPdbovrhZ1 tnFkK+gYCcH6d/f+tEQQtTFMM/SemR0KgLnQXSHaWlNBS7uL2zUgFZR1e2f5mHA5IZvsYDiw dIHAvpSUFh/fhv/Il9iFcREK5B5UD4pw+bzZCEg/n23tF/aQ8tUs52VD5p64N3oNSrc1OkfI R4UyOq+KIUcP4HmnUdlbwsj9Lk= IronPort-Data: A9a23:BgK06a1/O8lwms7eFfbD5cR1kn2cJEfYwER7XKvMYLTBsI5bp2ZSn zFLDD+Fb6uKZDbyf41zaY3n8U8FvsSBmIJgTAc63Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAhk/zOH/ykVbOs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82AyaDt8B56r8ks14qyr4mxA5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxlz8xCsmom6rMaUYDRLjfJ2Cm0hK6jID/6vTqjnVaPpcTbJLwW28P49m6t4wZJ OF2iHCFYVxB0psgNwgqe0Iw/ylWZcWq8VJcSJS1mZT7I0buKxMAzxjyZa2f0EJxFutfWAlzG fIkxD8lYEu/xOmN64CBW85wu90ud9ixEN1CkyQ1pd3ZJa5OrZHrRLjWoIYIh3E1mskXW/Pfa MMVdHxkaxGojx9nawpRUstj2rr4wCCvKFW0q3rNzUYzy2zPzAlq+KPqOcKTcduES8hY9qqdj jiYpzqiXkpFbbRzzxLV7laGgLDOshjfSb4DGJuf8t1osmSckzl75Bo+Dgfr8Kbh1iZSQel3I EUR/m8qrLMu3Fe6S8H0GRy+un+N+BAGM+e8CMU99R3Ik/qPpQOFDzFCSz9OYdA78sQxQFTGy 2NlgfvnXgAsu4a+e0iM0auptD7pKHI5czIrMHpsoRQ+3zX1nG0kpjnvJuuP/Yayk8GwQGGrh TWWpXF4grQchMIWka68+DgrYg5ARLCXEmbZBS2NAgpJCz+Vgqb+P+REDnCAsp59wH6xFAXpg ZT9s5H2ABoy4W6xeNylG7ldTe7xu55pwRXZgFFmE4Rk8j2s/zaseIpQiAxDyLNSGp9cI1fBO RaD0SsPv8U7FCXxMsdKj3eZUJ9CIV7ITo+9Dqi8gxsnSsQZSTJrCwk3OhXNjjG0yBVy+Uz9U L/CGfuR4b8hIfwP5FKLqy01i9fHHwhvmj+BdoOx1Bm9z7uVaVicTLpPYhPEbfk04OnA6E/Z+ spWfZnCgRhOcvzMUg+O+64qLHcOMScaA7LyoJdpbeKtGFdtN1wgLP7z+okfXbJZsZ5brcryx UHlaHRkkAL+oVblNTS1bmtSbeKzfJRn8lM+Ey8eHXep/HkBc4z1wrg7cr0pT7wV8N5Y7OVVS sMdcJ6qGcV/STXg+hUcY6LirYdkSg+ZuAKWMwehYxk9Z5RFRT3ZyuT7fwDqyjYCPhC3ueQ6v bek8AHRGrgHeChPE+fUb6iJ426qnH1Aht93YVTEEuNTdGro7oJuDS771d0zAsMULCT81imo7 BmXDTgYtNvyjdcMqveRvp+9rqCtD+daNWhZFTOC7b+JaA/rzlD6yopECOu1bTTRUV3vw5qbZ MJX8urdNcMWl1Mboqt+FLdWlZgF3eXNnIMD7ApYHyTsVW+JW5dAOXiN2PddupJdnoF5vRSEY WPR2914F4jQBubbPg8/GA4XYN6H98kooRjJzPFsIEzF9C59p7WGdkNJPiizsi9WLZorEYUD3 9YRkdMnsV26uB8UNveHkSFm2GCeJVMQU6gcl887Aa26riEJ2119cZjnJSuu2662avJIKVgMI BGYoIHgloZs7BPOXFRrHEecwNcHo4oFvS576WMrJnOLq4LjveA21hgAygYHZF1Z4Tsf2t0iJ 1UxEVN+IJiP2DJahMJjeWSIMCMZDT27/n3B8Xc4pFf7fWKJCFOUdHYcPNyT9n8362hfJzhX3 I+JwVbfDArFQpvD4TsQa2VE9drYUt1Dxi/TkpuGHuOEPaUATxjLv6uMXVcM+jzbWZ4fpUufv uR73vdCWYuiPw4qnqALIY2717MRdRO6GFJ/UcxRpKMnIUyMeRWZ+yS/FESqS8Yce93I6RCZD uJtFOJuVjO/9jiCngkHIJIDMZtxxaYY2PcfcIzvI185ieK7qxx3uqnx7Qn7vncgGP91oPY+K 6TQVjOMKXORjn1qgF3wrNFIF267QNscbij+4byFy/oIHJc9r+1cS0E+/b+qtXGzMgE83Rark C7cRq3RlcpO9J9NmtbyL6B9GAmEE9P/e+CW+gSVsd4VT9fuM9/LhjwFuGvcIAVaErsAaetZz Y3XnobM43rEm7IqX0TyuZqLTfBJ7PrvettnCJv8KX0CkBaSXMPp3QA4xFm5Dp50i/JY2NisQ lqpScm3dONNYexn+l9uV3F8HSoeWoPNVYWxlRPl+r7IQlIY3BfcJdyqyW7xYCsJPmUUMpn5E Unvt+zo+tlcq59WCQQZA+19RaV1O0LnRbBsYuiZWeN01YV0qgjqVnreeRscBfXjDWSYVZ+qu tTAWhGnMhGzt6jE0ZdStIkaUtg/EiNmmedpFq4C04cettx4JDduwSch3VEuEZZdimr505/2a TylgK4KF3DmRTodGfnjyI2LY+pcb9Di/v/iITUxuUiTZSm7CetsxVenGjhIux9LR9co8A1rx RzyNJE90thdD6yFndou28E= IronPort-HdrOrdr: A9a23:g6FcIKEFAqbsCZtcpLqE5MeALOsnbusQ8zAXPmRKOH9om62j9/ xG+c5w6faasl0ssR0b9exoW5PgfZq/z/BICOAqVN+ftWfd11eAHcVH7YXrziGlNCj56IdmpM Vdml9FZeHNMQ== X-Talos-CUID: 9a23:KVr5kmESY/KogytLqmJpr3JXEfsOQEfM62vtOkLjGDxFFuC8HAo= X-Talos-MUID: 9a23:Pnq9aQXUiWZB2irq/G/woBtka8ZH2IC/NFEBt7ICmMu2DCMlbg== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.21,257,1763420400"; d="scan'208";a="260634371" X-MGA-submission: =?us-ascii?q?MDHhWN1dczuZGeX6Kw/WW5+5pUPj9ZYHgjcBzQ?= =?us-ascii?q?0COgwyuAfhYr4/1tfunMWSJE52PldZM+fkRs4gm5sjKKaOJv+YiVh/YV?= =?us-ascii?q?wKz0D4qK3Q5jcdmq3HjwsVlLNOZ7Yst7ZW8339tkNSkBbtfYK8m1nWIE?= =?us-ascii?q?3GOIvWEYMhdih54QuWt+lbFA=3D=3D?= Received: from out-183.mta1.migadu.com ([95.215.58.183]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 27 Jan 2026 21:20:11 +0100 Date: Tue, 27 Jan 2026 21:20:02 +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: 19441 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