From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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= Authentication-Results: plum; dmarc=fail (p=none dis=none) header.from=gmail.com 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=Tu5iqmxt; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256 header.s=20230601 header.b=m1J7Hcc8; dkim-atps=neutral Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id 14553B80123 for ; Wed, 15 May 2024 11:04:53 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:date:message-id:to:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=wjunn4+x2QEs4HRrQcozT7INn2DM0lGSHIZkmkDz3T0=; b=Tu5iqmxt8tm8aNR5YVkPKKV7oSmzPwBbqbjco6DPDFzEFsl2hwlTDa4p FUzI/DQ1Jl6u/SK7eQAr+QQRFznkAnGKbYPBnTW/e5zvRKDB5sR5wdfkt 5oUl15aXThLaVyfqAqPSQ/ibaCGH+77nLHtABhiqNKbTfgeplpTGG4Xlp k=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 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 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:89.107.174.7 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 Authentication-Results: mail2-relais-roc.national.inria.fr; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@gmail.com X-IronPort-AV: E=Sophos;i="6.08,161,1712613600"; d="scan'208";a="165836704" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 May 2024 12:04:53 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 52F18E004E; Wed, 15 May 2024 12:04:53 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 85B1DE004E for ; Wed, 15 May 2024 12:04:47 +0200 (CEST) IronPort-SDR: 664488bf_kQ6P0bbtgfKBA96NBpKNivGek3yytDdEG5g/VONIXNRuQFv SBgnpiSpoZi7MqP3/MrQtF7Az79j8jCKJ0hnpJg== X-IPAS-Result: =?us-ascii?q?A0FXBgCDh0Rmf6yAVdFahRx6WTQEC0iEVo9IgnqLH4dPi?= =?us-ascii?q?XqCDSsTDwEDAQ1EBAEBAwSEfAEpiBsCHgcBBEcBAgQBAQEBAwIDAQEBAQEBC?= =?us-ascii?q?AEBBQEBAQIBAQIEBgECEAEBIhkHDg4phXQIBYJKF4ElYQIFAzsBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEFAix1BwodAQwBDh4DEhAPA?= =?us-ascii?q?iYCIwEOAwEFARAGAgI4BAGEfhABAzEDoTCCIYEFQos7gRUFAhaBAYINBtpaC?= =?us-ascii?q?hkoDWwDgWACBxSBBoUUJYMjAYFZgn+EaoEhG4INgUqIQ4MOgmkEgUZ8gRMIF?= =?us-ascii?q?gICAgICAgMCID4JEG0vIglbJ4FIBAICgh8CAwIENwd+IYEnAhYDZXFKAgFFV?= =?us-ascii?q?YZ0AoEGLD0DhF6BAkNfHIMehT8IAQYXAwcHBwQFBBwGBQUCQgkIBQoSAwQDB?= =?us-ascii?q?AQBAgsTCQMDAg4CCAMCCAYOAhEBPxIEEwoNCwMEAgUKAwgCAgcCDgEFAgEBA?= =?us-ascii?q?gICAgICAwYCEgYDAwICCAIHAQECCgcDAgIGBAMGAgIFBA0DCwICAgQBCgIJD?= =?us-ascii?q?wUCAgMCAwEBAQIKAwkBBQICAQMCAgQEBwEGAwUDAwQEAgMDAgwBBQEFAQUBB?= =?us-ascii?q?QQCBgETAhICAgsFBgMGDgMLBAQBAgIFBAYMCQQCAgIGAQIRAwECAQcBAwMCC?= =?us-ascii?q?gEEAQILCAEFCAgBBAIDBhACCAUGBQIEAQECAgIIBg8DBgcCAwIGAwUFAwMCA?= =?us-ascii?q?gIHBAQCAQICAgETBgQEAgMCAwQBBQQEAwIXCA0CBQcBCQoIDAECBgIEAgQHA?= =?us-ascii?q?wYFBQQCAwIEEQcLAwIDBAICBAMRAgMEAgoCBAQHAgMBBAsCBgQECgILAwUBA?= =?us-ascii?q?QIFAwMJBwYCAwMFBAYCBQMDAwIDAgoCAgIBCQEBAQISAgMOAgQCAQIFBSUCA?= =?us-ascii?q?wIGCAICAgcDAwQCAwYLAQESAgICBQMEAgIUAwcEAgQGAgQBBgMDAgQGBQgEA?= =?us-ascii?q?gIFAgEBAggCAQ8KBAMEAwUDBwkCBQUDAgQCAgUJAQECAgIDAwMDAgMCAgMDA?= =?us-ascii?q?gcDAwMHAwUDBAIDBgUHAwUDAwICAhQBBgIFDQgGCwUFBwIGAgQIBQICAwMDA?= =?us-ascii?q?gYKCAMDAwIFAgIDAwECBg8GAgIDBQYDAwMDBgYDAwIGAwMCAwIDAgMDAQMCA?= =?us-ascii?q?wICAwICAggCAgMCBQQFAgIDBAIIGgICAgIDAwgDAwoEAgIEAQQCBAIEAgYDB?= =?us-ascii?q?AICAQcCAwMCAwIHAgIEAgICAgMCBAcCAgMDAwICAgEJAgUBAQYCAwMCAwUDC?= =?us-ascii?q?QMEBQIDCAEBAgIHBwMDBAMBAgEFBAICBgUCAwICBAIEBQMCAwIGBgIBAwIKB?= =?us-ascii?q?gMFAwMDAwIDAwIDAwIFAggCAgQEBQQCBQQCBAMDAwEKAgYDAgIFAQECAgUDA?= =?us-ascii?q?gQEBwICAgcPAwIHBQIFBQUCCAEGBQICAwIIAQICBgEGAgQBAgIOAQICAgMEA?= =?us-ascii?q?wMHAgQDAggCAwMPAQMDCQYFBAUEAwkEDwIEAQgDAQEECAIEAwIMAgIhAgULB?= =?us-ascii?q?AQBEgoIAwEBAwEBAgICAgIOAwIDAgIDCgIDAgoDBgQCAgYBAQEEBgEEAgECB?= =?us-ascii?q?wQOCQUICAEDAgEKAQIQBQ8CCQMDBgQCEAYKBQMCAwUBAgUVAwgDAgkCBAwDD?= =?us-ascii?q?QIDAwIGAwYCBgEGAwcLAQEHCAUDAwMCFwECAhAIBAYPBwIDAwMDDAMSAgYOA?= =?us-ascii?q?wMCAwIBAgICAwUEBQIHAwMKBQIIAwIIBQMHCQQKAggEAQIGAwICAgIFDAEBA?= =?us-ascii?q?QECAwIFAwcHCAgEBQQDAQEGBgwgAgIDBA8DCQMGCwEFBQEDAgICDgMFAwIDB?= =?us-ascii?q?gYBCQQBBQQJAgUHBgUCARQWBwUCCgIHAgICAwECCAsIAgMCCgQBDgQaAgUBA?= =?us-ascii?q?gIDAwcCAwICEwMDBQQGAwICAgIDAgEKCwMCAgMDAwMFBQMDAhkCAwMCAQoFA?= =?us-ascii?q?gwFBAMEAgIBAh0DAQUCAwoBBQkDBgICAwIFAgMGBQIEAQ4BAQEDBgsHBBQCA?= =?us-ascii?q?gILCAMJBQMFDQINAgMFAgILBT0LBQEBBAQBBAkXLQIEAgYMAQEBAgMDBgICA?= =?us-ascii?q?hUFBwMFAwgBAwECFAoIAgIBAwoKAgIEAgYCBAMCCgMBCAICAg8DCQIHAg4CA?= =?us-ascii?q?gMDDA8EAwMDAwkCAgIRCQoCAgICDAgMAgkCAgMDBgECAwMFAwIBAQEELwIEB?= =?us-ascii?q?wECAwYKAwICAgkEBAoJAwMFAwwBBgYBAgMOAQECEwQJAwIBAgEBBggBAQIEA?= =?us-ascii?q?QQCCAYCAgICCgMFAwIDBRUFAgQCAgIdAwIEBQMFAwMEBwEGBA0JAwUDAgQDA?= =?us-ascii?q?wIEBAIJBQkEAwsGAQIBAwQDAQEIBwcDAgEBAwEBAgoKCA0IAwgDBgkDAQYBA?= =?us-ascii?q?QUbAwQOAgICAwIBCgYIBQIDBg4CBAIdAQwDAQMDBRYFSB0CCQMjDw4JCBM9A?= =?us-ascii?q?RIyOBUUBycHBQIaX/AYZ4M2oUYzg3IBpnmMQYRQhxmodhEjEoFqgVxNI4EBg?= =?us-ascii?q?WlNTwMZD5IbxiZEMol/gUgC?= IronPort-PHdr: A9a23:4KNR/hxBNn8r2NDXCzI1wFBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z h2Zv6k9xwWQFazgqNt6yMPu8JrcEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PXbglSmjawbrB/I BqooQnMq8IbnZZsJqEtxxTGpXdFZ/5YyWR0K1yNgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7U LJVEi0oP3g668P3uxbDSxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5 LplRRP0lCsKMSMy/m7SisxokKJaoA+qpwdiw4HPYoGaKuZxfr/Adt8eWGZNQsNdWipcCY2+c oQPFfIMMulYoYfzpFUAsAWwChW3CePz1jNFnGP60bEm3+kjFwzNwQwuH8gJsHTRtNj7Mr0dU f2vzKbWyzXDc+5d1zHj54PVbx0hu+yMXbRtesfWzUkgDR7Fjk+OpozjIzOV0v8CvnOU7+plT +2vimonpxttrTiow8chk4/EjZ8axV7Y7yt22po1JcGmR05hZ96pCJtduiOaOYV2X88uX31kt Ts0xLMIt5O2YSYHxZcpyhPRd/CKd5WE7xPgWeuTIzp1mm9pdK+hixus70Ws1unxW9Wy3V1Xr SRFisHBum4R2xHX8MSKSftw8l281TqR1A3f8PxILEIqmafdNpUs3LowlocIsUTfACD2glj4j K6Xd0o64uWk9+Lqaaj8qJCGLY97kAT+P7wumsOhBeQ4NRADX22B9uS90L3v5E34QbtXgvEvn KnVrZLXKdoBqq62BA9V1Ykj6xKhADu8zNsYmnwHIEpEeBKBkYfpJ0nDLO7kAfq7mVihkzdmy +rbMrH/AZjBNGXPnbX/cbpl7k5T0gszzdRR55JODbEBJer+Wkvru9zFFB82LQq0w/rjCNpmz Y4eVmePDbWYMKPWq1OH+uUvI+yUaI8ToznyM+Il6OL2jX8lhV8derGk0YYPZHCiAvtmO1mZY WbrgtoZDWgFpA8+TOjzhF2GUD5TfGqyUrkn5jA7DYKmFZ3MSpqsgLyHxie7H4dZanpIClCWQ j/UcNCPUvIILSaTOdNJkzoeVLHnRZVy+wupsVrewqd9I+zIsgkV/bj5yd49s+naiAs/8yBwB eyS1miMSyd/mWZeFGx+57x2vUEokgTL6qN/mfENTIQ7D5JhVw47McSZ1OlmE5XoXQmHeN6VS VGgS9HgADcrT9t3zcVdK11lFYCEiRbOlzGvH6dTj6aCUZg977jR2WT1Le5yzn/H0O8qiFx1C tBXOziej7VkvxPWG5aPlkyYk6iwcqFJ2CfQ7mqF0W6ElE5dWQ90F67CWCNXfVPY+PL+4E6KV LqyEfInPw9GnNaFMbdPY8b1gE9uQf7iPJHPfDv0lT7vX1CHwbSDaIescGIYtMnEIG4DlQ1bv XOPNAxkQzykv3qbFjtlU1Tmf0Lr9+B67nK9VE49iQ+QPQVn0PKu9xgZiOb5Kbtb168YuCont zR/HUqsl9PQBd2aogN9faJaKdoj6VZD3GjdukRzJJulZ6xlg1cfdUxwsSaMn11zA5hanM42q HkCww97KKbe21RENnuZ0Z32JrzLOzzq5hn8I6XS21zYzJOX4vJVsKV++wil5Vv5UBN9qSYCs ZEdyXaX65TUARBHVJvwVhxy7B1mv/TAZSJ74YrI1HpqOK3ysznY2ttvCvF2r3ToN9pZLq6AE xf/VsMAAM37YugjhkKkaA4ANshd8ac1O4WtcP7Mi8vJdK5w2Smri2hK+tU31kuR7Sd6VurC9 5kAyvCcmACAUn2vxEfkucfxl4deYDgUFWfq0inoCrlaYahqdJoKA2OjSyGu7u13nIWlG3tR9 Vr5QkgDxNfsYx2ZKVr0wQxX000T532hgyqxiTJuwXklqa+W3SqGxOqHFlJPPmdWXmRkkVPmC YexhtEeGkOvakAlmQCk6kDz26VA7P4nfi+DHAERJXiwdj44GqKr/qKPectO9I8lvUA1GKynb FaWR6S86xoW3iX/HndPkTUydjWkoJL8zFRxjGOQKmo2rWKMI5khg0eCooWGFbgIgWBVIUsww SPaDVW9IdSzqNCdlpOZ9/u7S3rkTJpYNy/i0YKHsiK/o2xsGxy22f6pybiFWUA31zH2095yW GDGthH5N8Pv3rmgPOR7ekNAC1r16s48EYZ72NhV5tlYyT0Bi5OZ8GBS22P6LM9W3776ZlICQ DcKx5je5w2viygBZjqZgon+UHua2M5oYdK3N3gX1iwK5MdPEK6I7bZAkHg9sh+ioAnWe/Q4g iYFxK5k9isBm+9Q8llIrG3VEvUIEEJfJyCpixmY84X0svBMfGj2ObmoiBglwJb4XenE+F0DH i6+IMtqHDcsvJsjdgiXizuqtNmiIJ6JPLdx/lWVi0uS0bYTccpr0KJM3W09YSr8pSF3lbB91 0A/m8Hi+tDAcT0l/brlUEECcGSpIZpCoHe1yv8O+6Tel4G3Qsc+RnNSBsauFbTwV2tM/fX/a 1TXSG168yjEX+qZRUjFsQ9nty6dSs/wcSjGeD9Bi40lHUf4RgQXgRhIDm9iz9hpS0bznpynK AAguXgQ/gKq8EISjL84cUCuCCGH4175IjYsFMrFdUQQtFoToRyPd5TZt7MWfWkQ6JSlqEblx nWzQQNOAClJX0WFAwqmJbyy/Zza9OPeAOOiLvzIaLHIqOpEVv7Oy4j9mo1hty2BMMmCJBwAR 7Uyx1ZDUHZlGs/YhyRHSioZkDjIZtKaoxH08zN+r8S2+vDmEAz14o7HB7xXONRpsxe45MXLf /aXnzp8IC1E24kkwHbJzP0OwwdXhXgxLX+iFrMPsSOLR6XV2+dWAxMddyJvJZ5I4qY7jWwvc YbQjtL40KI9j+ZgUQ8UEwy83JjzNYpTfDvuUTGPTFyGP7mHOzDRlsT+YKfmDKZVkP0RrRq7/ zCSD07kOD2H0TjvTRGmd+9W30T5dFRTvp+wdhF1BC3tVtXjP1e/OcJtgDsqxbcciXbDNGpaO j95ORAozPXY/WZDj/NzFnYUpGJiNvWBkj2F4vPwL58Xtb56HX0xmbsFujI1zLxa6CwCT/tw0 ni3zJYmsxStle+BzSBiWRxFp2NQhY6Fik5lPL3Q6phKXXusFP0l4mCZChBMrNxgWISHU0V4x d3Glaa1IzBHoYq8FSo0AsHVLIeWLyNkP0O2QnjbCwwKSTPtPmba1RQ1rQ== IronPort-Data: A9a23:oJz4oqseMi5S+b4TjwNu2HQzOOfnVM5aMUV32f8akzHdYApBsoF/q tZmKW6OaPzcamD3Ktt/Ot++oEJSvJfdndBiSVQ5qyo1QnhBgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYEidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRMu8pvlDs15K6u4G5B4wRnDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJF82bbMU6PtyOGgQr 6FGGDQUQyGmqf3jldpXSsE07igiBMziPYdaq245iD+AUqxgTpfETKHHo9Rf2V/chOgURaeYN 5dfMGA/Kk2fOXWjOX9PYH46tOOhm2PydSFconqaoKM25y7YywkZPL3FaYSIKofUG5sF9qqej mHZ8nXnDToiD9ew+Gba6WiLrMyWoCyuDer+E5Xjq6cy3wzNroAJMzUdXF6/5P24kVKWQMNaM 0VS+yw0rKF0+lbDczXmdxixoXrBrwFFHtQJTLd85waKxa7ZpQ2eAwDoUwKtdvQ4tJ8ISS430 2aAwYm0WwxrqZCkbFyCo+L8QSyJBQAZKmoLZCkhRAQD4sX+rIxbsv4pZoY8eEJSpo2qcQwc0 wy3QD4Ca6L/ZPPnOo2+9FHDxiOz/93HF1FvoArQWW2h40VyY4vNi22UBbrzvK8owGWxFwbpU J04dy62srpm4XalynblfQn1NOv1j8tpyRWF6bKVI7Ev9i6251modp1K7Td1KS9Ba5ldJGCwO RKC5FMKvPe/2UdGi4cnM+pd7Ox6ncDd+SjND628gidmO8QvKVLYoH0GibC4hDy2yRBEfV4D1 WezKpv1VSlLV8yLPRK5QOAS1bJjxyY1gwvuqWPTnnyaPU6lTCfNE98taQPQBshgtf/siFuPr 753aZDRoz0BC72WX8Ui2dRMRbz8BSNrW86eRg0+XrLrHzeK70l6UaKAnO14ItQ790mX/8+Rl kyAtoZj4AKXrRX6xc+iMxiPsZu2Bcwl/0EodzchJ0ip0HUFaIOipvVXPZgucLVtsKQpwfdoR rNXM4+NE9ZeeAThoj49VJjaqJA9VRKJgQnVATGpTgJidLFdRivI2OTeQC3RyAc0ABGai+4Cs py79waCQZM8VwVoV8nXT/S0zmKOh3sWmcMsfk6RItBsZ1nhwIN6DxPAntklAtw+c0Td9GGK0 yKTJwkSnsjWgooP6NKSr7u1n4SoNOpfH0RhAGjQ64itBxTa5maOxYxhUv6CWDLgCFPP56SpY NtKw8HGMPEomEhAt6x+Ge1JyZ0SysTOpbgA6ChZB1TOMkqWD41/Lkm83cVgsrNHwplbs1CUX mON4txrBqWbCvj6EVI+JBsXUcrb7Ks6wgLt1PUSJFn2wARV/7DdCEVbAESquRxndbBwNNso/ PcltMso8DeAsxsNMOudryVq5m+Jf20hUaImi8kgO7XVqDEXk3NMXZ+NLRXNwsCrS85NOUwUM DOrlPL8p7BD9HHjLVs3N1bwhNR4u7pflixO/lE4I3axpuHknd4yhR1YziQ2RF9azzJByONCB VJoPExUe4SL8ytZu8xYe2WKBQt6JQa4/3bpwAAjj1zpTEiPV03MIlYiOO2LwlsrzmJEchVf/ 5Ca0GzAUwu2WO3UwQ0JRhdDh9H4aN5+5CnuuZqCJNuUOYs+bR7OoL6cVUBRpzTJWcoO1VD6/ 8909+NOWIjHHC83oYhgLqKF1L4VGSu2FEYbTd5PpKo2THzhIhes0j2zKme0SMNHB9rO1WSaU 8VOBMZ+Zy6S5Ra0jAIwJPAzeudvvfsT+tA9VKvhJjcGv5uhvzNZis/s2RaktlA7YedFsJgbE ZzQRQKgA2bLpHpzmk3xludmFFe8Q+E5YFzb4Ljo3sQPT4kOocN9Q3EUi7GUhUiYACFj3hCTv T7AWZPo8vxf+dxssrboQ4p+BFSSCNLsVe633hi5nPZQYPjub8rflQMnhWP2HgZRPIlLAtR+q quQgYSmwGLEo7cEfGTLkLaRF6RyxJuTXcgGFunVPXVljS+5d8u02CQ6+ke8Mo1vrNxGw9uOH i+UVZOVTsEEfPt431hXWjh6PzdGLJqvdYbmhye2j8rUOygnyQadce+Wry74X19UZgojGsPbG ATrn92M+9oBjoBHJCFcNsFcG5UifWPSA/o3RebQ6wudIHKj2G6Zm73YkhEl1zHHJ1+EHOv+4 rPHXhLOTwuzio6Z0OBmt5FOgTNPAEZfmeUQemcvy+xygR2+D08EKr05GrcCAZd2jCfz9c/ZY BfgUWgcMhj+DA90KUjE3NfeXwmhX71Efp+zIzEy5EqbZhunHI7KUvMr6i5k5GwwYTf5iv2uL dYF4HDrIxyt2ddTSP0O4uCgy/JSrh8AKqnkJWim+yAzP/ofPVnO/HloHQ4IRDOeVs+Uyx+NK m8ySmRJBkq8TCYd1Cqml2F9QHkkUPHHll3ErhtjBP7QvoyayKtLz/iX1yTbzOgYdMpTTFIRb SqfeoZOilx6HlQcvKIov5Qihqoc5Tdn2CSlBPeLeDD+VJ1cJojq0w3uUMbPoAwfFNZjLm7g IronPort-HdrOrdr: A9a23:HNMHTKhaSlzIKUlO3Pike23jNXBQXtEji2hC6mlwRA09TyX+rb HMoB1773/JYVkqNU3I9ertBEDiexLhHOBOi7X5VI3KNGLbUQCTQr2Kg7GM/xTQXwfk8OkY+a B+GpIOaqyUfDwK6vrH3A== X-Talos-CUID: =?us-ascii?q?9a23=3A020pQ2sV2PBQdSV5XO+QDGSP6Is7ci3jwGXNJna?= =?us-ascii?q?xVzw0Fo2RUHKh3Y17xp8=3D?= X-Talos-MUID: =?us-ascii?q?9a23=3AzqUXCwx3BmV6fG0B1SWIx8QD2yOaqKexBVETnr4?= =?us-ascii?q?+gMKrBHAvIC26phfuf4Byfw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.08,161,1712613600"; d="scan'208";a="165836668" X-MGA-submission: =?us-ascii?q?MDGyykVM7faEMvpPgTpOiCjmlGwu4HSu9/I3ER?= =?us-ascii?q?fuTapuHTRFETUIa6LtlaF/tnetC/i8fbxcdiXfXLMN9Irfd0IJQPrpnA?= =?us-ascii?q?JtmA3Pmpu641EQEz6KjHZygiqq9rZjiCGQS6RWY3a8oV86REixPOqb5J?= =?us-ascii?q?DM5t5x5YkjPi2y6+9TR+DROQ=3D=3D?= Received: from mail-yw1-f172.google.com ([209.85.128.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 15 May 2024 12:04:46 +0200 Received: by mail-yw1-f172.google.com with SMTP id 00721157ae682-61e04fcf813so75593287b3.3 for ; Wed, 15 May 2024 03:04:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1715767485; x=1716372285; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=wjunn4+x2QEs4HRrQcozT7INn2DM0lGSHIZkmkDz3T0=; b=m1J7Hcc8YsGO9wPEKexgGhOOK2awH9QKcpRJeU8W0owpUUs3q7gKqE91cz26mZ6I1E j0VGFM0TMNM8Zf9NUYcJqim673WWo0Ms/LzxSyWifz4bazp5kbMmBfSkmSx4r1J/R9Ou glcCw3BP9AdeMkGmhB1viU5LSCd5iA2BRYl4Ua67TfvnO8ja0yJEh8Z1OJHtcToV77kU mRpePcF7QBNtp22pCdlqfSUjSp7+OkB+GyjcxylVyycbTMy22JV3KM6mkE9LBAFAP0Pj vpm26cc9yyudr13AqfC1TZ4sSOL91IJK2czaX3Psk47tZitZsbmx0oT4NwIfSJ6zVmqC oEUg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1715767485; x=1716372285; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=wjunn4+x2QEs4HRrQcozT7INn2DM0lGSHIZkmkDz3T0=; b=vZVFO9aNn9f9AXpU3qDC1wwYKgs2Epc2+TsRd8AIlBrgRxunU0DDNL0UJu4wFOkSHx vvuAyQeO3tJgtQ6JWUZnmeJFx0UGqW5Nm6sYE0JJBwTcKtiNM6gjWU4ILzx6mUb4lLmz zyfqDvisJj7oZZk9KOkEpKm0GpoI791KdNed8vVlCXuS/4Cu9bGlDeNqhaUCjn7ZG3qy nDD7STZSsoM+/4WeSRU2g4wLpchVAWXGel6AgYbbTmvae2wBjehwmlFiS6YfAlWLsDLT C9mVmqOdxtZEjDUmjxQ4r42PMdOISAKiFbBTdtSm844x+0821pg/rdUfC+bBkfjdzuzC wtyA== X-Gm-Message-State: AOJu0YwWbGWrfndsk8g5mts2OTEw9gjOKRgTAJ8XPh5kmV3u5cFAkuvY RJDUko3cMdnLqRRINYgesxY2Iu6NDmrMSTi2pmV0YPOJwk3TaeNpOgXEQxiE1SrlDRCRIAf6MLF MGCiJg69rvz1np12IxLdpzg6egvti4udv X-Google-Smtp-Source: AGHT+IFd+ro3pw1A9ZiGv1SiknS2DUYJon65htgvynftkjdZAnRygA3tf62ADR2BT4nyIn81E7R6rK9lBaDEYdsy/oA= X-Received: by 2002:a25:d854:0:b0:de5:52a8:5d34 with SMTP id 3f1490d57ef6-dee4f4d9d1fmr15049673276.43.1715767484936; Wed, 15 May 2024 03:04:44 -0700 (PDT) MIME-Version: 1.0 From: Laurent Le Brun Date: Wed, 15 May 2024 12:04:33 +0200 Message-ID: To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Subject: [Caml-list] Reply-To: Laurent Le Brun X-Loop: caml-list@inria.fr X-Sequence: 19129 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