From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
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=j+04feR5;
	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=GYE4PeKF;
	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 DDDC148E3C
	for <caml-list@tunbury.org>; Thu, 16 Jan 2025 08:34:52 +0000 (UTC)
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=PgoXEk47i70vluCwsiF744DiCwPK6SXKX7u+QL5j7/k=;
  b=j+04feR5nv6fy/80s0HiMxpcuWmuaRG8qfdBSuIJGmNakmgOfdCYLvpM
   E1EzxMtkq+hUqyKXBjqeTdGSoZUBcGvJB/RhfknSA5kD9yqZfPtteBfX6
   pd2X2jHbp+rf6Gyt9TPHSqhuCOnJZ0lmHCR/1c/RPuq29Vtnyx+SY6vYV
   o=;
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: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@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.13,208,1732575600"; 
   d="scan'208,217";a="203391528"
Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160])
  by mail2-relais-roc.national.inria.fr with ESMTP; 16 Jan 2025 09:34:52 +0100
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id E1371E0D24; Thu, 16 Jan 2025 09:34:51 +0100 (CET)
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 00BF0E0077
	for <caml-list@sympa.inria.fr>; Thu, 16 Jan 2025 09:34:47 +0100 (CET)
IronPort-SDR: 6788c4a1_V+/wL5FNCK6dfFDN7MtlxVPb6BqSICGP6mqZ4ZIc83+DquW
 idT0ulrJPZe4lsYxYHh8Euz3T+txaXsGvtzfLIw==
X-IPAS-Result: =?us-ascii?q?A0GCBABww4hngTOhVdFaHQEBPAEFBQECAQkBgWgCgT+BA?=
 =?us-ascii?q?31ZNAQLSIRWgSOOK4Ihk0+DdoUAgVaBfg8BAwENFAEBIwsEAQE+AYFUgnSKd?=
 =?us-ascii?q?gIeBwEEMAkOAQIEAQEBAQMCAwEBAQEBARABAQUBAQECAQECBAYBAhABASIZB?=
 =?us-ascii?q?w47hXsNgmIBhBgRHQEbHgMSEDcCIwERAQUBIhMigmCCLwEDMQMRBqQvgiSBB?=
 =?us-ascii?q?UKLPoEVBQIWFG2CDQaBRwMLAkPYQgoZKA1sA4FhAgEGFIE0AYRzKU4OgjgDG?=
 =?us-ascii?q?gEFbWoCDod8gSEPgVVEgRU1gkQxgx8BAoIMgy6CRyIEgRCBIoJCgnGJG4V0i?=
 =?us-ascii?q?BIUh0ImCAcXAwcHCQUEHAYFBQJCCQUBDxIDBAMEBAECCwkKCQMDAg4CCAMCC?=
 =?us-ascii?q?AYZAT8SBBMKDQsHBR8KCAwRCigDIhIrDwECAVoFNAEIBwICBAUCBAwCCQICC?=
 =?us-ascii?q?AcCFAMCBAQCAQUSAwsBBQYFAQEEDA4CAgYCAgEIAgIBAQIUAQQDCAIFAwUDC?=
 =?us-ascii?q?gEBAQIBBBQGAwUDAwcDBAIDAgYCBAQFAgIDAwIDAQMDAgECAwkQDxYCAgMEA?=
 =?us-ascii?q?gYCAgEEJgIBFQUCAwQCAgcCAgMBAgECAgIEAgQCAgYDCQgBAgIHAQICAgMVA?=
 =?us-ascii?q?gUBBAkDAwUSDCADAgICAgMHCgMFAgEBAgQDAwMDCQ0HAgMBAgEDBQMBAgECC?=
 =?us-ascii?q?QMGAgIDAwQSGQUDAg8DAgEFBAIIEAsHAQEPFAUECQUVAwYCAwMWCwQFAwMDA?=
 =?us-ascii?q?QwPDgICCwMXBQEBBwEDDQgDBAQCAwMJAgEQAQMEAgkCBAECCgICAgICBAEBB?=
 =?us-ascii?q?QQCBAMCBQICAQgEAwMDDQQDCAgDBQMMEgICAgkCAwECAwMDBA0IHQUJEQsCC?=
 =?us-ascii?q?QMEDQIEAgIBBgMGCgYVAQIYAgIGDAQDAwgDAgMCAgECAgIBEQICCQgNBQkFB?=
 =?us-ascii?q?gIXAwIDCAEJAw8DAhQBBgIIAwcBAQQCAgoRCgEBAgIBBiYDAQECFBMHAwgCA?=
 =?us-ascii?q?gICBhYMAQUHAwcPBQUEAgIWAwMSBAQQAgIDAwIBARQGFQEFAgMGCwEGAQIFB?=
 =?us-ascii?q?AIDBAISAgMOFQMDBAYDAQIMEAIEAgkKAQUEAwcFAh8DAwICBQsCCAICBQIFB?=
 =?us-ascii?q?wMJDgECBQMECQIUAhACAgICCBYCAgIFBhgDJgIEAwMDAwsBAgIOCQMEPAYRB?=
 =?us-ascii?q?AIDAwIOAQICCwECAgQCAwEEBwIHAwMJCgcBCg0HAgIKCAkQAQICDwcDAgICA?=
 =?us-ascii?q?gYHDgMCEw8FBgYCCgcNCgQCAQICEwIDCQYDBQ0DBwQKDQIVAhYFAyACCAkLA?=
 =?us-ascii?q?gcNBQIFEgMOBQMCAhEEAgMGBQMBBwEXAwcIAgIMAgICAgUCBQIFFxEBDQQDA?=
 =?us-ascii?q?wMCCAEEFQYDCQgqHhIBAQEFAQkCAwIDBAgDAwMCAwQMCwIBBwgDAwYLCAkGA?=
 =?us-ascii?q?wIHCBkDBQQDBwULIQIGAwIEBQQBBQIVDQIDGQIGAwYUCQwCBg4HCQMHAQEBA?=
 =?us-ascii?q?gICCAEFBRICAwQCBQQEAQESBgIBAwICAwQKAQICCgIICgEJEwQDCAMDAwMDB?=
 =?us-ascii?q?QECAggEEwUFAgEFDBMMAQoGAwYDBAICAgoBBwIDAwMCBwELIwIBAwICBQICA?=
 =?us-ascii?q?QUDAgIIBAMCAQEJAgMCCQECAgEBAgICBAEHAQsGAQECBAICOAIBAwkCBQEBA?=
 =?us-ascii?q?RECEB0CCQMjDwMLCQgTPQELBzIENgEUFAcrIV+aZGsBPIQcIzwZFgKBEE5CD?=
 =?us-ascii?q?JMfKCqyNjQHhB4FgVgGDIkFlmwzixafPZh8o1eFRREjEoEyOoFcTSNQMYI2T?=
 =?us-ascii?q?wMZD5IbvX9FMgI6AgcBCgEBAwmGSIlTgUsBAQ?=
IronPort-PHdr: A9a23:HsC6lxXFLC2h3gwH8uN4Cq6QM9fV8KyNXDF92vMcY1JmTK2v8tzYM
 VDF4r011RmVBtydsqwcwLOP7ujJYi8p39WoiDM4TNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB
 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL58M
 Rm6txjdu8gKjYdtN6o91xvEqWZUdupLwm9lOV2ckxHg68mq+5Jt7zpesO87+c5aVqX6caU4T
 bhGAzkjLms4+s7luwTdQAWW/ncTXXkYnRROAwje8RH1RYzxvTfgtup8wyaVI8v7Rq0pVDu47
 qdrTBjoiDobNzM87WrahNB8gL5drRm8vBF03ZLab5+JO/p/ZqPdfM0VRWxdXsZKSidNBpqwY
 5YTA+YdOOpVqZT2qVkTohukHQSjC+PhxDFLiHHrw6M1z/8sHhva0AE6Bd8CrGjYodfzOawPU
 e611q7IzTDbYv1SxDf97InIfQ4nofqRQLxwcMXRyU8oFwPBkFqQspHuMjSX1uQQt2ib7vRvV
 eS1h248qgFxrT6vxsAoiobXnYIY0V/E9SBjz4Y0Id20UlJ0YdmhEJZJsSyRKoR5TN84TW5yp
 CY61qMJuYS9fCUSzJkr2xHRZvyHfYaI/h/vSfudLzl2in95er+yhAi+/FWgxOHhS8S531VHo
 jRYntXQtH0A2Rzd5MiDR/V940utxzCC3B3d5OFDJEA7j6vbK5g5z74+jJocq0HDETXvlErql
 qOZakIk+u2u5u/6YbvmvoeRO5Fohgz6KKgjmcyyDf4lPgUPQmSX4+Sx2KDl8EbkXrhKiuA2k
 rLFsJ/EP8QVu6+5Ag5L3Ys79xqyCSqt3s4CknkdNl1FfQqKj4j3NFHKJ/D1FfK/jE6tkDdv3
 vzGObrhDojUInjNkLrtYKxx60FbyAo0wtBf44xbBqsdL/L0X0/9rN3YDhknPAyo2+vrFslx2
 4cEVW+MAqKVKr7evF6V6u41I+SAeZcZuDPnJPgk4/7ug2U5mVgYfaSx35sXdXS4HvV4LEWfe
 3bsmdYBEWgMvgo5SOzllkaCXCVcZ3a3Ra085zU7BJi6AofEQ4ChmLqB0zyjEZ1Mem9GEkyME
 Wvvd4icRvsAcDiSLdN5kjwYSbihTJcs2g20uw//z7prN+7U+iwDtZL/z9V1/O3SlRQq9TNuF
 cid0meNT3t1nmwSXTM20rp/8gRBzQKo2K18y9hZDsAbs/hAVwN/MZ/H08R7DcrzU0TPZIHaZ
 kyhR4CEHDUwQ9R5+N4BZUF5Fs7q2hLe2yunBfkOlrONA5g56YrT2nHwI4B2zHOQh/pptEUvX
 sYabT7uvaV47QWGQteRyy1x9o6vfKUYh2vW8XubiHGJpAdeWRJxVqPMWTYeYFHXpJL3/BCKV
 KegXJIgNAYJ0sueMu1ScNS8j0hCRfrlfs/fbGS2n2qrLRmNz7KIKoHtfjZVxz3TXXANiBtb5
 nOaLU47DyalrXjZCWlsCFbubkWq6uhxrnS/Q1QcwASDbkkn3L2wqVYOnfLJbfQV0/ofvTs57
 TV5GFHox9XNF9+JvBZsZo1ZaNI5pVBAjCfX6lU7MZunIKRvwFUZdmybpmvI0BN6QsVFmMku9
 zYxyRZqbLmfyBVHfi+Z2pb5PvvWLHPz9Vahcfye3FaWy9uQ9qoVjZZw41z+oAGkEFYj+HR7w
 pFU1XWb/JDDEAsVV9r4TE828xFwo7ySbDM64svY0nhlMK/8tTGnuZphBvYhyxumOcxeP6WDE
 ALpO8IfDsmqbuctnhnhbx4JOvxT6L9hJ9mvJJ7kkOagOOdtmi7jjHwSutgslBLRsXMiE6iVh
 sVgobnQxAaMWjbigU30t8n2ndsBfjQOBi+kzjCiAodNZ6p0dIJNCGG0IsTxyM8t4vylE3Ne6
 lOnAEsLncGzfh/HJV7g2Qxd0wIMoHOhni+11BR7ljgoquyU2ymEkIGAPFIXf3VGQmVvlwKmI
 5Wwjt0cGlOpYA4ukBa+zUn/zqlf4q94KiOAJCUANzizJGZkXKyqs7OEaMMa85IkvxJcV+Gka
 EybQLrwy/cD+xvqBHAWhDUydjXx/478gwQ/k2WFanB6sHvef8h0gxbZ/t3VA/BLjHIKQyxxi
 D+fAVbZXZHh/8iQlprF9Pu/WGSmUpBIWSbuxIKE8iC84CVmDAa+kPa6htD8WVJigGmrip8zC
 3yO8U+0a5KOtezyKe99e0h0GFLwo9F3HI1ziMp4hZ0d32QbmoTA+HMGlWnpNtAIkan6bXcLW
 XsK24uPuFmjiBAldyzQgd+gBRD/ioN7atK3Y30bwHc45sFOU+KP6aBc2DByuhy+pB7QZv50m
 nEcz+Ev4TgUmbJs2kJlwyODD7QVBUQdMzbrkkHC7c26rahRIn2ufr630Edltd+kBbCG5ApbX
 TyqH/VqVT819ch5PF/WhTfx94Xldd+WdtMcsBqQngzogO1cKZZ3nf0Pz3kCWyq1rTguzOg1i
 gZr1Jexsd2cKmljy6m+BwZRKjz/Y85AsiGol6tVmdyampy+Bpg0UCteR4PmFLj7dVBa/eSiL
 QuFFycw72uWCaaKVxHK819o9jrOC8z5bCzRfShBi48+G1/FYxYDyAEMAGdkwthjTVvsnZK5N
 h8+v2F0hBawqwMQmLw2cUCnCCGH4l/vMG98SYDDfkQIqFsetgGFaYrGqbgrVyBAos/+9krUd
 irCNl4OVSZQCinmTxjiJuX8uoWGqrLFQLL4d7yXP/2PsbAMDq/Yg8vwjc02uW7LbJzHP2E+X
 aRkgQwaDCw/Q4KB3GxRLk5f3yPVM5zB/Eb6qnAx95rvtqysAV2n5JPTWeELb5Myq1bv0P3Fb
 6nJ1W54MWoKjMpSgyWTmf5EhhhKzHg/ElvlWaIJsSqHJE7JsolQCRNTKyZ6Nc8Tqrk5whEII
 snDzNX8yr9/iPcxTVZDT13o3M+zN4QMJCmmOVXLCVzuVvzOLCDXw8zxfaK3SKFBxORSuRqqv
 D+HEkjldj2dnjjtXhqrPKlCliaedBBZvYi8dF5qBw2BBJr+bQanNdZskTAs6bg9h3ePMmlFd
 DYhKgVCqbqf6S4eifJ6WiRA4ndjMeiYinOZ4u3fefN0+bNgBiV5kf4f4WxvkeMEqnEZAqUrw
 W2P940LwRnuiOSExzt5XQAbrz9KgNnOpkB+IeDC8YEGX3/Y/RUL5GHWChIQptIjBMe83sIYg
 tXJiq/3Ly9PttzO+s5JTcrJLMOKNjw6MBXvHzrZFyMKSDeqMSfUgEkXw5TwvjWF64M3rJThg
 s9EUrhASFk8De8XEGxgFd0GZZBwB3YqzOfdg8kP6n6z6hLWQY8J2/KPHuLXCvLpJjGDiLBCb
 BZd2rL0I7MYMYjj0lBjYF139GwvM0XVVNFJ5CZma11syK2s2H13T2l23EW8Lw3wuTkcEvm7m
 hNwgQx7M7xFHNjE7FI+J16Mryw1whBZpA==
IronPort-Data: A9a23:5zroAqmjZRFyk8YWkr5YmOno5gwvIkRdPkR7XQ2eYbSJt1+Wr1Gzt
 xJNCmjXPayKYmGne9glao3npEMG6MLXyYdlHFBkpSoxFFtH+JHPbTi7BhepbnnKdqUvb2o+s
 p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws
 LsemeWGULOe82Ayazl8B56r8ks14ayr4W1A5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q
 e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw
 P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1yV2I0ZtwxvdxVHCZIp
 dw4KWxVMCuc0rfeLLKTEoGAh+wmJcjveYQY4zRukGifAvEhTpTOBa7N4Le03h9q3pEITauYP
 pRAL2c2BPjDS0Un1lM/Co86nequwGL+fDtfrF+OjaUy6mnXigd21dABNfKMIoLWFZoOxBjwS
 mTu4U/kHQ8bNsKj9BmP1Gq228+Ign/9V9dHfFG/3qU32QXMlzJ75ActfVCypP38jk+lR/pEO
 kkM82wvq7Iz/QqlVLHAswaQpXeFulsbXIMVHbBjrg6KzaXQ7kCSAW1soiN9hMIOqJQVR2d7/
 xizvc6uA2xPkLzJESym6eLBxd+tAhQ9IWgHbC4CaAIK5dj/vY0+5i4jqP4zQMZZafWlSVnNL
 yC2kcQou1kEYSc2O0iT+FnGh3erocGMQFNsoArQWW2h40VyY4vNi22UBbrzvaYowGWxFwbpU
 J04dy62sbBm4XalyXPlfQn1NOv1j8tpyRWF6bKVI7Ev9i6251modp1K7Td1KS9Ba5lfJ263P
 R+D4F8AtPe/2UdGi4cnMupd7Ox6ncDd+SjNDKi8gidmO8chJFHYpnkGibC4gD29zxJEfV4D1
 WezKpv1VSlLV8yLPRK5QOAS1bJjxyY1gwvuqWPTnnyaPU6lTCfNE98taQPQBshgtf/siFuPr
 753aZDRoz0BC7KWX8Ui2dRCRbz8BSNjXciuwyGWH8bfSjdb9JYJUKOOmOpwItQ4w8y4VI7gp
 xmAZ6OR83Kn7VWvFOlAQisLhGrHBM4k8SAILmY3MEy22nMuR4+q4e1NP9E0ZLQrvqgrh/J9U
 /BPKY3KD+VtWwb33W0XTaD8i4h+KzWtpwaFZBS+bBYFIpVPeg3u+/3fRDXJyhUgNCSMmPEFk
 +WS7T+DGZsnbCZ+PfnSc8Oqng+Qv2BCuedcXHnoA9h0eWfq+rdEMyba0/09eZkNDT7hxTKq8
 RmcLjlFhOvKoq4zqMLog4LdpaiXMuJOJGhoNEiF0qSXbA7x4XiG7bJbdtqxbRTxdT/R6bqzQ
 +d41NT+O6A3p0lLuI9CDLpb96IyyN/xrbt8zA4/PnH0Q3m0K7FnMF+U9NJus/BT+7pnpgeGY
 EKD1d1EM7GvOsm+MlowJhIgX9uTx8MvhTjewvQkEnrUvBYt0uK8bnxTGB2QhAh2Drh/atoly
 Nh8nv8m0VW0jx5yP+uWiixRyX+3EUUBdKcarbAfPp7gj1s661NFYKGEMBTM3rO0V4xuPHUpc
 xiuv4iTo5RHx0HHTWg/KmiV48pZmqY1mU5ryH0sGg23v+Tr194N4Q1p0DUoTw5q4A1N/MBtN
 0NKaUBkB6W80A15pcpEXmqTNRlLL0SH8F7c12kLqX39SkW2XDbBN18GZOSHphgY10l+fTFr2
 q6S50i4cDTtfeD3hjATX2w8odPdbNVBzC/ws+H5INagAL87fmDDkIK1QGg19yvcHsI6gXPYq
 dlQ/OpfbbPxMQgSqfYZD7a2+KsxShfeAkB/WtBkob00GF/DdAGI2TShL167fuVPLafo9W66E
 8lfGdJdZS+h1SqhriEpOoBUGuVaxMUW3dslfq/nAUUksLHF9zpgj8/2xxjE3WQuR41jrNY5J
 obvbAm9K223h0ZPumrzvcJBa3uZY94FWVXG59qL0t41TrANjOI9VnsJ8OqQn26UOw5Z7R6rr
 Fv9R6vJ/ddDl6VovaXRS5tmOSvlB+/3Zuqy9CKLj+9vdvLKaMfHiBMUoALoPiNQJrogZO50n
 rWs7v/y0F/0g7Itd2X/hZO6NrJo4P+qV7F9KfPHL3h9nAqDVvTz4hAFxXuKFJxRnP5Z5eilX
 wGdavbsUfIwRPFm2yRzRwVFNhQSGYDbT/3FnjysieaIBjw28x31HPn++VDHNWhkJzI1YbvgA
 QrKitOSz9F/rqEXITQbBvtjUqRKEHW6VYQIL9TO5CSlVE+2iVa/u5znpxoqyRfPLlKmSM/aw
 5b0diLSRSSImpPj7Y9m6tRpnxgtEnxCr/E6fRsd9/5ImjmKNjM6AtpHA6oWKKN/s3LU7475V
 gHvfWF5KCTaXBZ4SzvezunnfD+iAr0pBo+kCB0vpk+aUnLjTsfISr5s7Txp7HpKayPuhrPvY
 80X/nrreAO92Nd1TOIU/ea2mvpj2uic/H8T5EThiIbnNn7y21nROKBJR2KhlBArEv0hUG3OL
 GkxAGdDGQS1FBe3HsFndHpYXhoeuVsDCtnugTinmL7iV0ezlYWsC8ET/8n817QCaIIBI7tmq
 bbfWT6W+27PspAMkfJBhj/q6JOYzdqEG8G7KOnoQgh6c2RcLIg4F5tqoBfjh/3ONOKS/50xW
 9VsD7UD6Jy5FX1s
IronPort-HdrOrdr: A9a23:kD1nw63EunE6rHoTQHbEOAqjBJ8kLtp133Aq2lEZdPU1SL3gqy
 nKpp4mPHDP+VQssR0b6LO90cq7IU80l6QFhbX5VI3KNGLbUQCTXeZfBOXZslvdMhy72OoY+q
 tpbrRkBMeYNykese/KpCe9V/gvqePpzElqv4vjJrVWID2Cp5sP0+6xMGemLnE=
X-Talos-CUID: =?us-ascii?q?9a23=3AW70l12n0ZnXLo9tY4Hq0F+ZWfAXXOWGG73WLcmb?=
 =?us-ascii?q?/M0R0D7vFaX+RpPs6qNU7zg=3D=3D?=
X-Talos-MUID: 9a23:sKsHxQp+QZiaf7omo3sezy9JKdh24qawNH0um7MeoZSkcjMsPTjI2Q==
X-IronPort-Anti-Spam-Filtered: true
X-URL-LookUp-ScanningError: 1
X-IronPort-AV: E=Sophos;i="6.13,208,1732575600"; 
   d="scan'208,217";a="106487326"
X-MGA-submission: =?us-ascii?q?MDGIBRc5+RAbsIUrPDQ2YOdNCbehtHN44L5I1v?=
 =?us-ascii?q?XD8N1JTHy1pvrWM4IuX8FRGrT5nISLndo1TNNpEztR6h4xnOmx4uZddA?=
 =?us-ascii?q?Oc6KASSchDTCKWziihgWPClW1hz8i0dO7VP9rsmnxpy2QP/2qkDRRQ2Y?=
 =?us-ascii?q?WbpnEd5VB3KqPG1Vz+uSXADg=3D=3D?=
Received: from mail-oo1-f51.google.com ([209.85.161.51])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 16 Jan 2025 09:34:42 +0100
Received: by mail-oo1-f51.google.com with SMTP id 006d021491bc7-5f31f8f4062so319257eaf.3
        for <caml-list@inria.fr>; Thu, 16 Jan 2025 00:34:40 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20230601; t=1737016479; x=1737621279; darn=inria.fr;
        h=to:subject:message-id:date:from:mime-version:from:to:cc:subject
         :date:message-id:reply-to;
        bh=PgoXEk47i70vluCwsiF744DiCwPK6SXKX7u+QL5j7/k=;
        b=GYE4PeKFaj3eyL6RZRKINracgSU3N4UEBKJ29p1MWFMiaNPiri/KoTp4QXvqo/ztp9
         LeGDH3VHrW2o+hVwalctjfGbrFn8+nz5WZA04xGqYzKV8nIXItNkyJud17tyUfO6r8Gd
         9HRgynVImaeRaQ9hFWJ/7QbvqpiD8OLq5ZKdzSfRmpUOrbT/WvR0m/XCCtm1I0B4AKjm
         l67xLj/0aSE6ZkJzfnGWXqBBsh/Ft1TOyEogG9ymSeKNs6MJXHWveR8aLebbgmZy4Liq
         N5G/GTbZ37GmAPz9nIkBBgngQU+bzxTnOHHgJqalDS+O3ldM+Mmham3kPRhAqWP0zN9z
         xQLA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20230601; t=1737016479; x=1737621279;
        h=to:subject:message-id:date:from:mime-version:x-gm-message-state
         :from:to:cc:subject:date:message-id:reply-to;
        bh=PgoXEk47i70vluCwsiF744DiCwPK6SXKX7u+QL5j7/k=;
        b=X9WukwvRKXneZpZ2NC2NAeB8h1YWz2CVgjPujwogX7u5pspdgASfsaoIXqYyb059Uy
         hn4+u81676dUiCdIaAV9T2YuwzoGFave08Xk4ZdmxsCwqi2eCMABD3x1jeCbLJbeL3G1
         ybv6G7JphTACL1t8UZzeQrFWqCwheyj77x8KxT7z7Q8VBpxDwEkPXfL3V58BEFbXIUGx
         e27ssZJ8ev1UoCI3tTRzOa1S7/kO7fDV6cuxs46/7U45nwgfL4Y1fwSKweYF2olojb3u
         4u/P5cLuxI+sS+nfE+l9+Evksbk15q3nN24zMM7nctdmB0Fh6BX4A/Ha12aX066twTVw
         k6wQ==
X-Gm-Message-State: AOJu0Yz6OA5fBETY4hjg0+qO6SMluhix05juMG8Nq6KB/Fb+TcOa1iG4
	H7x0ZFR9MV+ggOm8YIN2VcDk2Hq7zd0G5qBRDtRTQ1GI0aXl4J/16e5fClC+yUL5WwGMo0koTk+
	quM/rQ4ncJhUuP5WrJ458AgCfsp24zXhE
X-Gm-Gg: ASbGnct3rcnWbdO9k6XxITA9h7VG1aZJXUTfZ+Zopr5KGXwjg6EIgmlZxDpffUeTf8s
	D+ojkj7NIpjpt6s0xc2G04MbXrLqnuNK4jv8yW80=
X-Google-Smtp-Source: AGHT+IHAfibgP9Owo1RjbT53tbewTVRL4O48vk14mJKk9eIG/ALdfn2hloI6FboNw98ZF4H7jANGUgbvLml1J85VRXU=
X-Received: by 2002:a05:6870:e2cf:b0:29e:d36:6e39 with SMTP id
 586e51a60fabf-2aa0666c115mr19691074fac.10.1737016479359; Thu, 16 Jan 2025
 00:34:39 -0800 (PST)
MIME-Version: 1.0
From: Julien Signoles <julien.signoles@gmail.com>
Date: Thu, 16 Jan 2025 09:34:28 +0100
X-Gm-Features: AbW1kvaGqm1OohK9qXpt5G7fxhqhdvOgWhD6TQQ6UAL-YAgKQ1yZ91gvvPWB-tY
Message-ID: <CAPczgCCNtYfWCuiEZ93Svs0VpGvAEB=W0jG=vvHX7rfUPx9iBw@mail.gmail.com>
To: Caml List <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary="00000000000038ae60062bceaa0f"
Subject: [Caml-list] New postdoc position in the Frama-C team, Paris-Saclay,
 France
Reply-To: Julien Signoles <julien.signoles@gmail.com>
X-Loop: caml-list@inria.fr
X-Sequence: 19253
Errors-To: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>
List-Post: <mailto:caml-list@inria.fr>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Archive: <https://sympa.inria.fr/sympa/arc/caml-list>
Archived-At: <https://sympa.inria.fr/sympa/arcsearch_id/caml-list/2025-01/CAPczgCCNtYfWCuiEZ93Svs0VpGvAEB%3DW0jG%3DvvHX7rfUPx9iBw%40mail.gmail.com>

--00000000000038ae60062bceaa0f
Content-Type: text/plain; charset="UTF-8"

Hello,

The Frama-C team is opening a new postdoc position on E-ACSL, the runtime
annotation checker of Frama-C.
The team is part of Software Safety and Security Lab of CEA List, located
at Paris-Saclay, France.

More details available online:
https://www.frama-c.com/jobs/2025-01-20-outline-rac.html

Feel free to contact me for any question.

Best regards,
Julien Signoles


Research Director                           |  Scientific advisor

CEA List, Software Safety and Security Lab  |  Department of Software
and System Engineering

Julien.Signoles@cea.fr                      |  tel:(+33)1.69.08.00.18

--00000000000038ae60062bceaa0f
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div style=3D"unicode-bidi:plaintext;color:rgb(0,0,0);font=
-family:Ubuntu;font-size:14.6667px;font-style:normal;font-variant-caps:norm=
al;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;t=
ext-transform:none;white-space:normal;word-spacing:0px;text-decoration:none=
">Hello,</div><div style=3D"unicode-bidi:plaintext;color:rgb(0,0,0);font-fa=
mily:Ubuntu;font-size:14.6667px;font-style:normal;font-variant-caps:normal;=
font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text=
-transform:none;white-space:normal;word-spacing:0px;text-decoration:none"><=
br></div><div style=3D"unicode-bidi:plaintext;color:rgb(0,0,0);font-family:=
Ubuntu;font-size:14.6667px;font-style:normal;font-variant-caps:normal;font-=
weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-tran=
sform:none;white-space:normal;word-spacing:0px;text-decoration:none">The Fr=
ama-C team is opening a new postdoc position on E-ACSL, the runtime annotat=
ion checker of Frama-C.</div><div style=3D"unicode-bidi:plaintext;color:rgb=
(0,0,0);font-family:Ubuntu;font-size:14.6667px;font-style:normal;font-varia=
nt-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-=
indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-dec=
oration:none">The team is part of=C2=A0<span style=3D"font-size:14.6667px">=
Software Safety and Security Lab of=C2=A0</span>CEA List, located at Paris-=
Saclay, France.</div><div style=3D"unicode-bidi:plaintext;color:rgb(0,0,0);=
font-family:Ubuntu;font-size:14.6667px;font-style:normal;font-variant-caps:=
normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0=
px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:=
none"><br></div><div style=3D"unicode-bidi:plaintext;color:rgb(0,0,0);font-=
family:Ubuntu;font-size:14.6667px;font-style:normal;font-variant-caps:norma=
l;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;te=
xt-transform:none;white-space:normal;word-spacing:0px;text-decoration:none"=
>More details available online:=C2=A0<a href=3D"https://www.frama-c.com/job=
s/2025-01-20-outline-rac.html" title=3D"Click to open https://www.frama-c.c=
om/jobs/2025-01-20-outline-rac.html">https://www.frama-c.com/jobs/2025-01-2=
0-outline-rac.html</a></div><div style=3D"unicode-bidi:plaintext;color:rgb(=
0,0,0);font-family:Ubuntu;font-size:14.6667px;font-style:normal;font-varian=
t-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-i=
ndent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-deco=
ration:none"><br></div><div style=3D"unicode-bidi:plaintext;color:rgb(0,0,0=
);font-family:Ubuntu;font-size:14.6667px;font-style:normal;font-variant-cap=
s:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent=
:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoratio=
n:none">Feel free to contact me for any question.</div><div style=3D"unicod=
e-bidi:plaintext;color:rgb(0,0,0);font-family:Ubuntu;font-size:14.6667px;fo=
nt-style:normal;font-variant-caps:normal;font-weight:400;letter-spacing:nor=
mal;text-align:start;text-indent:0px;text-transform:none;white-space:normal=
;word-spacing:0px;text-decoration:none"><br></div><div style=3D"unicode-bid=
i:plaintext;color:rgb(0,0,0);font-family:Ubuntu;font-size:14.6667px;font-st=
yle:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;t=
ext-align:start;text-indent:0px;text-transform:none;white-space:normal;word=
-spacing:0px;text-decoration:none">Best regards,</div><div style=3D"unicode=
-bidi:plaintext;color:rgb(0,0,0);font-family:Ubuntu;font-size:14.6667px;fon=
t-style:normal;font-variant-caps:normal;font-weight:400;letter-spacing:norm=
al;text-align:start;text-indent:0px;text-transform:none;white-space:normal;=
word-spacing:0px;text-decoration:none">Julien Signoles</div><pre style=3D"f=
ont-variant-caps:normal;letter-spacing:normal;text-align:start;text-indent:=
0px;text-transform:none;word-spacing:0px;text-decoration:none;color:rgb(61,=
61,61);background-color:rgb(255,255,255)"><font size=3D"2"><br></font></pre=
><pre style=3D"font-variant-caps:normal;letter-spacing:normal;text-align:st=
art;text-indent:0px;text-transform:none;word-spacing:0px;text-decoration:no=
ne;color:rgb(61,61,61);background-color:rgb(255,255,255)"><font size=3D"2">=
Research Director                           |  Scientific advisor</font></p=
re><pre style=3D"font-variant-caps:normal;letter-spacing:normal;text-align:=
start;text-indent:0px;text-transform:none;word-spacing:0px;text-decoration:=
none;color:rgb(61,61,61);background-color:rgb(255,255,255)"><font size=3D"2=
">CEA List, Software Safety and Security Lab  |  Department of Software and=
 System Engineering</font></pre><pre style=3D"font-variant-caps:normal;lett=
er-spacing:normal;text-align:start;text-indent:0px;text-transform:none;word=
-spacing:0px;text-decoration:none;color:rgb(61,61,61);background-color:rgb(=
255,255,255)"><font size=3D"2"><a href=3D"mailto:Julien.Signoles@cea.fr" ti=
tle=3D"Click to mail Julien.Signoles@cea.fr">Julien.Signoles@cea.fr</a>    =
                  |  tel:(+33)1.69.08.00.18</font></pre><br class=3D"gmail-=
Apple-interchange-newline"><br></div>

--00000000000038ae60062bceaa0f--