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 0C7D55D5 for ; Sat, 26 Mar 2022 20:43:32 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:date:message-id:content-transfer-encoding: mime-version:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=+5o1qUBCaxx/3iDwuNTWWRuBPSHtVlo+BVLINL+ED/s=; b=CtwKGnhxpTct+1REyPotGC+akyjGW3qmHlUdOBOboNybj1Y+MOaBNkeD oQ3r5Vphn0a2yepjUwD3AheTc7Q6qfvg3IuucoWYP8rNfLghauuaH+4sa 0QBBmyFSoj0pX+31cuHbbm36PvIclsIA42FMA2Zzp4HhOpWcTk8AsT5W4 k=; 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 Authentication-Results: mail2-relais-roc.national.inria.fr; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@hotmail.com X-IronPort-AV: E=Sophos;i="5.90,213,1643670000"; d="scan'208";a="28450389" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Mar 2022 21:43:31 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3A862E4379; Sat, 26 Mar 2022 21:43:31 +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 63A09E436E for ; Sat, 26 Mar 2022 21:43:25 +0100 (CET) IronPort-SDR: 8zQhYCsDk9esE3NjqtxACAQMtdOLVR0BxSawsu1V8LuwQ0lJuLl+BNO6WLoDTI+BoVsCK0KJ3h PucMEVfot+znLCSh5QuoGMqikgwPAdxh6D1/h/FTyPtx3iOLP0tvt8GtnuAnr3qg08SpnjULiD LLVYczUo2rLtlssa7uvorkQAIgyRJWdHxx4XESFnMghEanzMkMAVbjuCzhr1BPXWkpZmuSCBli ikg4oixWuuye89n29JbQZkCB6zWrOYEGe5kKhOMWh2niqqhjwQH1zJQ0kXzEMhzPQYmY7vmH0H dlPvlXbcu1V6/x/sg7epp1ZJ X-IPAS-Result: =?us-ascii?q?A0DqAwC7eT9ihzJEXChaHgErCwYMIoINgR9WgVYnAwcIR?= =?us-ascii?q?IgcAgOFOYZIAQEGhEaIIAOBBIYViiiBewsBAwELAkMEAQGFBwKETx8GAQRHA?= =?us-ascii?q?QIEAQEBAQMCAwEBAQEBAQMBAQUBAQECAQECBAQBEwEBAQwNCQUICgcQDgVmZ?= =?us-ascii?q?V0BgU4BgTAoBgMxAQyCNSKDfgYuAQE4EQGBACcEGxqCYoJlAQMvAqEbAYE6A?= =?us-ascii?q?gKBDIoJgRcFARaBAYIIAQEGhEcBIygDgk0Ji3OEVn2BEIFYgyWER4NPgi6bL?= =?us-ascii?q?IELkkSPRZ58X4J0DwGgARWZao5cllwgpjsCBAIEBQIOAQEGNYFGDIFvMxoIG?= =?us-ascii?q?xWDJE4BAgEBAQ0BAgEBAwECAQEBCQEBAQGONoNZil5CMzgCBgEKAQEDCQGRX?= =?us-ascii?q?wEB?= IronPort-PHdr: A9a23:njx8xRO1JOo9jreTJegl6nbgBBdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv68r1QKSFtyHsrptsKn/i+jYQ2sO4JKM4jgpUadncFs7s/gQhBEqG8WfCEf2f7bAZi0+G 9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQpyO+/5BpPeg9642uys5ZHfeRhEiTqzbL99M Rm7ohjdvdQKjIV/Lao81gHHqWZSdeRMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2Q rJeDDQ9LmA6/9brugXZTQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/6 apgVR3mhzodNzMh8G/ZlNF+jL5VrhyiuxNxzIHbbZqJNPpnYq/RYc8WSXZcUstXSidPApm8b 4wKD+cZPOhXtZP9qEcPrRu4GAKhGOfvxSFHh3/3xq0xzuMsERrc0wwmBNIBrnDUrM7rO6oJU eC1y7XIzTDZYPNX3Tfx8pTHchckofyVW797bMXex1U1GQzfklWQtZLqPymT1ukVsGWW7PdtW OOyhmAppA98vyajytssh4TUhI8bxFHJ+CF9zYsoONC1VkB2bcO6HZVeuSyUOJd7T8w8T29np Cs3zrsLsoO4cigS0JkqyALTZ+aDfoSW+B7uVeWcLS14iX55YL6zmRe//VSux+D5S8W4zExFo ytAn9XRqnwA0hLT5dWCR/Z440utxzCC3B3J5O5eO0A7j6/bJoYhwrEukpoTtlzOECD4l0vqk KOaaFwo9Oqn5ej6e7nmoYSTOJFuhgH5L6QuhtewAeMlMggIQmeX4/y81Kfk/U3lXrpFkuE2k qjesJDcP8gbobO5AxNR0oYk7Ba/DC2q38gfnXkCNF5FeRSHgJb1O1zWL/30Ee2zjlCynDtxx v3LPaftD5XRInTblbfuZ7d960pSyAopytBf4opZCqobL/L1QU/+qtjYDgQnPAGvw+bnD8l91 oYEVmKOBq+VKr/dsViN5u43JemDf5cauCzhJPg9+/7ukXg5lEcAcaWxx5sYdGi4Huh6I0Wee Xfjns0OEWIOvgYnSOzqiUaCUSJIanapX6M84yk7B5i8AYfCQICtmr2B0z2hEp1YfGAVQmyLR D3jfoCAHvMNcz66I8l7kzVCW6LrA9sq3BSq8Qv70KZPL+zO+yReu4i1h/Zv4OiGuhgo/j1yR +2Z3nGMVCkghWoOXDIyx61XoUthz16C1e5zhPkORo8b3O9ATgpvbc2U9Od9Ed2nAmopH/+MQ VeiGZC9BC0pC8k225kIalp8HNOrilbC2TCrCvkbje/DH4Q6p4Tb2XW5PMNh0zDezqB0lFAgW cZLLmCOhqlj8gHSA8jClEDK372ye/Ek1TXWvHyG0XLIuUhZVABqVqCQRnkZfUbSttnR5kTeS ravDfIsNQ4SgdWaJP5yY8byxU5DWO+lONnaZDepnHysAB+T2r6WRKfXQT1HmQXwUQ0DmQ1V+ muaPw8jACvnu3jZEDFlCVPoZQXr7PV6r3S4CEQzymlmdmVH0Ly4sl4QjP2YELYI264c/Twms 3NyFUq82NTfD5yBoRBgdeNSe4F15lAPzm/fuwFnW/7oZ6l/ml4TdRh2tELyxl12DItHi80js HItykJ7N6uZ1FpLcz7Q04r3P/XbLWz7/RbnbKCzuBmWy9+Q4aoL8/kQq1L/uQioEgwp9HAmm 9hZ3n2A54nbWRIIWMG5WUI2+h5m4rDCN3VlodKOkyM8d/Ts4Vqgk5ozCeAoywitZYJaOaKAT 0rpFtECQtOpMKoskkSoaRQNOKZT8rQ1NoWobajjuubjMeB+kTahlWkC7pp61xfG7CN6UePMx Jstw/aE2wKGU3H3i1Lr4aWV0chUICofGGay032uH4dXfaB2ZosjCWCyJsS2wpN1gJunCBs6v BazQlgB3sGuYx+baVfwiBZR2UogqnuigSKkzjZwnlnFt4Kn1TfVi6TnfRsDYStQQXV6yEzrO c6yhswbW06ha04okgGk7AD03foTqKN6JmjVCUBGGkq+Z3prVLC9sqGPS85I9JYhsCERW+O5K VyXUb/ypRIG3jirQzMYlWp9KWHs582xlgcykG+HKXdvsHfVHKM4jQzS4tDRX78Z3zYLQjV5l SiCA1G9O9ez+tDH35zHs+24SyegTsgPKW+6l8Xe5G3mvT4PY1X3hf24l9z5HBJv1Cb604IvT iDUtFPnZZGt0a2mMOVhd00uBVnm6sM8FJst9+l4zJwWx3UegY2YuHQdlmKme85S37nzaGEAb T4M39vc4Qyj00pmZCHspcqxRjCGz81tasPvKHgf3Dkw69tHIKeT8LlNnC8zqV2951G0A7A1j nIWzv0g72QfiucCtV82zymTNbsVGFFRIS3mkxnbp8D7tqhcY3yjNKShzEcr1870F6mM+0sPP RSxModnByJ76d9zdU7BwGGmoJ+xY8HeNJoSrkHGz0+G3rITcNRp0aNXzSt/ZTCh5Tt8k7F91 Vo2msjk2erPY2R1oPDkWFgBbmWzP4VLvWixxadGwpTPh9zpQsonQnNTG8K3BfOwTmBIvKy+Z V/XSW8y9i/DS+iYQV/6ig8urmqRQcqibyjFfSBAn9s+HELPdgsD0EgVWj4+g5I0RBuyysCna F1++j0a+l//rF1L1/5sMB78FGzYoWLKIn9xQZybZnK69yl67lzOeYyb5+N3RGRD+4G56ReKM iqdbhhJCmcAXgqFAUriN/+g/4uI/++dD+u4Z/zABNfG4fRZTOuNzImz35FO0gu2bp/KHlQ7S vox1wxEQGxzHNnfl3MXUSsLminRbsmd4hCh5ilwqcP5+/PuPWCnrYeCELpdN9xz9gv+3f/FZ rTW2nY/dG4Q34hE3XLSzbkDwFMewzpjcTWgC/VItCLASr7Rhr4CDxMfbHAWVoMA5KY90w9Rf M/D34+tkO8iyKBlTQodBjmD0omzaMcHIn+wLgbCDUePb/GdICHThtrweeW6QKFRi+Nds1uxv yyaGgntJGfm9XGhWhaxPOVLlCzeMgZZvdT3aR9rEmXnV9/OahqnNdZ2iXs9xrh+1RaofSYMd CNxdU9AtOja9SRDnvB2AHBM9FJIENPcwWO5wrCdLZwb9/x2Hi5ziuRWpmwgzKdY5z1FQ/ozn zbOqtlpoBetlezFmV8FGFJe7z1MgoyMp0BrP67Uo4JBVXjz9xUI9WyMCh4OqogtGpj1tqtX0 NSKiLPrJWII7YfP5cVFTZuxSorPID87PBHuAjKREAYVUWvhKzTEn0IE2PCKqi/J9t5r8N603 sJJE+ITVURpRK9CTB09Q5paZs8wB21B8/bTjdZUtyfk6kCJHIMC+MiAD67aAO2zem/B0f8YO F1Qh+u/dNtbN5WliRZrMgAoxd2TSUSMBYgf8Go9PmpW6A1M6CYsFGRrghC8M1r/7iNLTqzm2 UJmwgp4auAw+Dq++E85KhzSviwsnUItmNLjxzeMbDr2K6T2VoZTbki8/w04NpexK+6QRQ21g UltNTOCTLVU3eMInY9DiAjAvJJOHbhXSqgWOXf4JNm6Ws9wixF8h3ziwkVKo+zYFZFliQ0mN 4a2qG5N0B5ia9hzIrHMIK1OzR5bgafc50eV IronPort-Data: A9a23:vq5RsaIzQ1DSItnnFE+R1ZAlxSXFcZb7ZxGr2PjKsXjdYENSgj0Dn DEaXmCPaPqLNmKjf40jPIqyo0gOvpHQnYVlTgId+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6jefRLlbFILas1hpZHGeIcw98z0M78wIFqtQw24LhWFnT4 YmaT/D3YTdJ5RYkagr41IrY8HuDjNyq0N/PlgFWiVhj5TcyplFNZH4tDfnZw0jQHuG4KtWHq 9Prl9lVyI92EyAFUbtJmp6jGqEDryW70QKm0hK6UID66vROS7BbPqsTbJIhhUlrZzqhr+p1i +8QiJGMdCwEGO7Aye1EfRhADHQrVUFG0OevzXmXnPGplxeDU1a1hvJkAQcxIJES/ftxDSdW7 /sEJTsRbxeFweWr3La8TeoqjcMmRCXpFN9H/CA6i2+JS6t+KXzAa/2iCdtwxz42nc1KBvv2Z 80FbDNuaFLLZBgn1lI/Wcxvwrz03RETdRVyplKbufoOxlSL0QVMzJrPKsiSaPazEJA9ckGw/ TudpDuR7gshHNeWzD7A9nO3msfUjCbjUcQTEqe5/7hkmjWuKnc7DRQXUR68pf/h1hbmCogHd RxMp3JoqrUu/ku2SNW7Rwe/vHOPoh8bXZxXDvE+7waOjKHT5m51G1ToUBZxUthljpILSAAX/ XKv3N+4DGVBsaWKHCf1GqivkRu+Pi0cLGknbCACTBcY79SLnG3VpkKQJjqEOP7q5uAZCQ0c0 BjU9HFh1ux7YdojjfnqpguY6965jsGRFlZd2+nBYo6yxi1YDGJPT6yl7UPa6/VBRGpyZgHZ5 SNd8yRyxN0TFpCInSXlfQngNLSg5vLANzna2QI3R8h7r2r9oyP7O4dN/Dt5OUFldN4efiPka 1PSvgUX44JPOHytbul8ZIfZ5yUWIUrIS4qNuhP8N4Ymjn1NmOmvoHgGiam4gzqFraTUuftjU ap3iO71ZZrgNYxpzSCtW8AW2qIxyyY1yAv7HM6nn036jeLCOSLFEN/p1WdiiMhpvctoRy2Fo 75i2zeikEU3vBDWPnSLq95PfQhiwYYTXMCt8ZYGHgJ8HuaWMDp4UKSOqV/QU4lklL5SjeDG4 jm2XVVAz0D2mXzAL223hoNLOdvSsWJEhStjZ0QEZA72s1B6ONbHxPpBK/MfIOd2nMQ+nKYcZ 6RUIK2oX6UfIhyZoWh1Rcem9uRKKk/07T9iygL+PVDTibY7G1eWkjIlFyOznBQz4t2f6JJm+ ub6h1qBKXfBLiw7ZPvrhDuU5wvZlRAgdChaBiMk+/FfJxfh9pZEMSv0gqNlKs0AM0yalDudy wOfABNeru7I+tdn/N7MjKGCjoGoD+ouRBULRzOLte67ZXvA426u4Y5cS+LWLz3QUWXD56j/N /5eyOvxMaNbkVsT69h8Hr9nwLgQ/dzqo7MGnA1oEG+SNgarDa9lK3iCm8JIs/QVlLNevAK3X GOJ+8Vbae/WaZu/QAZJKVN8POqZ1PwSlj3D1tgPIR33tH1t4b6KcUROJB3S2iFQKb1CL454k /wqv9Qb6lLjhxcnboSGgyRT+zjeJ3AMSfl65LwnOtexzyoGkxRFa5GaDTLq6paSbdkKKlMtP jKfmKvFgfJb21bGdH0wU3PK2LMF15gJvRlLyn4EJkiIxYWa369tgEUJ/GRlVBlRwzVGz/l3Z TpmOkhzEqOEoGVlic1FaGazFlwTHxae4EHwlwAEmTGLVUWuTWCRfmQxNfzQphIc+mNYOz9f+ unEkD60C260LJmshm01RFJvrOHlQZpp7Arelcu7HsODWZ4nfT7ihazobm0N8kO1DcQ0jUzBh O9r4OcvNvKiZXRM+/U2W9uAyLAdaBGYP2gdE/xs+aU+G2uDKjy/3D65LV+8J5FWLPvQ/E7kU MFjK6qjjfhlOPpietzaOUINH1OwtNMU3oJYP5PGfCsBubbZqSd1upXN8CS4nHUsX9hljcc6L MXWai6GFWuTw3BTngchaeFab3Ggb4BsiBLUhYiIHCchTvrvc92AtWky1aextnSRdgBg+np4e SvdMrTOwbUKJZtExuPR/2YqO+lwAdP0SOGB8QT1uNNLBT8K3QEiqCtNwmTa089q0Xf9lji5e XlhcDI64a8dgIsLbg== IronPort-HdrOrdr: A9a23:/o27m6PpBGyiPcBcTz3155DYdb4zR+YMi2TDiHoddfUFSKalfp 6V98jzjSWE7gr5K0tQ4OxoX5PwNU80lKQFlLX5WI3PYOCIghrNEGgP1+rfKl7balrDH4xmpM BdmsFFYbWeY2SS5vyKgzVQZuxQpeVvh5rY59s2oU0McShaL4VbqytpAAeSFUN7ACNcA4AiKZ aa7s1b4xK9ZHU+dK2AdzA4dtmGg+eOuIPtYBYACRJiwhKJlymU5LnzFAXd9gsCUglI3awp/Q H+4kTED+SYwruGIlK17R6Z031loqqs9jJxPr3CtiEhEESgtu7xDL4RFYFq8gpF4d1Ho2xa6O Uk6y1QRPibrUmhCF2duwfi1QX7zToi3Xf+1FeTgH/uptHOXj4hEcpGgrRYf3LimjAdVfxHod N2NliixupqJAKFmD6468nDVhlsmEbxqX0+kfQLh3gaVYcFcrdeoYEW4UsQSf47bVDHwZFiFP MrANDX5f5Qf1/fZ3fFvnN3yNjpWngoBB+JTkULp8TQ2TlLm3JyyVce2aUk7wQ9Hb4GOuZ5Dr 7/Q9hVfZl1P7ErhYIUPpZ9ffeK X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.90,213,1643670000"; d="scan'208";a="9696343" X-MGA-submission: =?us-ascii?q?MDHo47PCe7IPC/Fm52F56Tb0gXh5cnAs0orwbE?= =?us-ascii?q?YbZOwD0vQbK67dP7NyLWv4PP0QTSFkDkYdTs9SKZRbgFY1JNtPJhJB5V?= =?us-ascii?q?fVD/s3B0O42guXhwNyYmVlhLTSTXqDFuhgx/nTmjoseSw7W6kZUGKnYx?= =?us-ascii?q?sI4znOGWHaJFSDoateU4L3ug=3D=3D?= Received: from mail-oln040092068050.outbound.protection.outlook.com (HELO EUR02-HE1-obe.outbound.protection.outlook.com) ([40.92.68.50]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 26 Mar 2022 21:43:25 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=lLm7kb6V1M8qwhfbhaZGlIi0KH41I929Rb2mWWA9vDzhO6WuNt5JKyl3BsDQSWEQpDVvz4tQ/Cq97uHZSLbwu0/CFR/X0vMC2dobsD1sC/pnHcqqDwKlG6X6yxtQLNLL8tGGFusutajTKRrSuIXLZcc6soEhU7VZuOPn7mmBCT9tZkqpwUNMUNwcRj8uvgIhv4eVCqOYED6N58M1W7ZG2mWQqlpCkEcFsqKL3/V4sO6g2z07I45+QJuGtHnid0Ug71d+AlsYeOLfHnE5zt4j/OCKgFhBM53gw61fe12l/4+Hog2feGZTw/8IMKpuYpITUY8E93Y8E6vdOfbCG184WQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=+5o1qUBCaxx/3iDwuNTWWRuBPSHtVlo+BVLINL+ED/s=; b=Lz4QH6ND+t9OX6k88v+pdjNk3M0LF35FmMDO72pB0OTadWiqj0PkLb0+K3bbHzwsSB1ICcZ6vhL3bcnjdkR0nqq81JSbGdysD8siIfIQK/PxEXK/U4cmb52O/OYqcr0teGWH3MFwTw2rjzN+7GxZQzztyNb1y9CEX8Ffp/odOUpNuqLDUQwBE04UYEzarUjSUC7wS8Ln2UMYVexseCCLuLZR5+VcUXsRDgBqGXJBAl18wWEn9cPhbXJOP+cPuYrVKBjlCIuj+IAS3/a2pjBI599JXUlT98lMFwa/olG3n4B/XWCEv/mWo4FsiUqVz/TPQM4iwcUKUHPyDT0ceu6Qiw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=hotmail.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=+5o1qUBCaxx/3iDwuNTWWRuBPSHtVlo+BVLINL+ED/s=; b=lCRIsKJC3O+b3tEsXBIWNysyrWESiMENs4OIAx1qRFUpcW9QNxmqAWYey3KVsuDbRgXUR5oRqrV23XT6yR14Y1XiLfnNKLKF4zR/KtuGsJ8yttNof/OQlvGHoZRNPklqkiSXVAnpailBjRlwlha13YB8NDAQ4LaqVLyFSQjWc7kKPCbryWr4hzYK3DUSgtB5r5eEmcdDvKRcU7qMq6khXpjlQA/ZWdpFMeYZO1FINQM/XLpStT2dgsruYyvhYH/36tp+tCjohHqcqU+jo1GP6O7R9x+zTWcc/WYIc8bJPZlC4/WOA22qqwCeFp+J7DiC8xxaSmGWyrhOGv1mnuSLtA== Received: from DB8PR09MB4124.eurprd09.prod.outlook.com (2603:10a6:10:fd::12) by AM0PR09MB3699.eurprd09.prod.outlook.com (2603:10a6:208:189::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5102.18; Sat, 26 Mar 2022 20:43:23 +0000 Received: from DB8PR09MB4124.eurprd09.prod.outlook.com ([fe80::715d:604f:9a49:c528]) by DB8PR09MB4124.eurprd09.prod.outlook.com ([fe80::715d:604f:9a49:c528%8]) with mapi id 15.20.5102.022; Sat, 26 Mar 2022 20:43:23 +0000 From: Garcin Alexis To: "caml-list@inria.fr" Thread-Topic: =?iso-8859-1?Q?=ABOCaml:_Que_se_divise_la_s=E9mantique._Exodus=BB?= Thread-Index: AQHYQVGUpw+K89bDwkuJ75s6lGKpAw== Date: Sat, 26 Mar 2022 20:43:23 +0000 Message-ID: Accept-Language: ru-RU, en-US Content-Language: ru-RU X-MS-Has-Attach: X-MS-TNEF-Correlator: suggested_attachment_session_id: d4f9a0e5-d0ce-8aa1-ea83-028f15f44edf x-tmn: [W7ZgvLoSw6z7Zc1dvN6eA9Hn7Nn0ShXX] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 6cd519b1-4756-4171-8dbd-08da0f694508 x-ms-traffictypediagnostic: AM0PR09MB3699:EE_ x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: yQt9PTLoYsHckamUKpWxebTh3LqR2et0dn8FcRw0EI8ouTrrHyy8zdfRFXOfYrOeeQ9Bw7mKcDOxorpelpfgjL7dbGW2imhjsj/PnF9rxRbmHZkvc5sqfMaQqFf+kw1aLKqkojgl58gYJ8pw+9aaM8rzsA970YDNx1TyS0ZwJJpTfEjc4keGSLd4ceMOjy6gMBu72xXGtz2+FRoHWw6xEWVDT8jObL66eGYRH5qFmnjUeEndeOYs1yrbU6lGTuCC5DFUwT6t64ioNZ1ShP0LKlEzrpBbvKLVNnwGaYquPbG87Nixk2+5JFHNTiLYQMScmGKDz6qk7EVYVMg7+2B4IsqpSOz3HCwGrjpsx6rKLGLX7JERZcho4ztqoBSvQ7rRfuCxavlR563ri3AUIUnlfmUjHgL6NmoEd0+Bain36cSphaSkXw7sJ68sm5DqZaxXbzXUFSiC3F2de4uJC/srZnpCyPCMxwGg5PDbuJda/2VP4RM7A+nhmV/aTtKEH3HPNzcEQ0w3ZrgFouvLrpbxXY2w5JtDENRzwChLwDQCjzTDtfeXmUyqUv8yU/b7tTdJ4cLdGGYrtno2XMRbJ7yGyw== x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?SaK0QjLZlXU5lKc91MO4/a+XMDJu2O4FFtgwd1ZoA1mv9zZq7WD+gZupiC?= =?iso-8859-1?Q?XmR1alXW6wnTPY0sXr5wVgoGG3rKbsV0fy84AmRe+k2XJZkGdb4JloEEXG?= =?iso-8859-1?Q?xO41uDAZFN2H69huhBdpl/oWcl5MaewoRP1S6Z5js/lu5uN2oHF0NaxhVB?= =?iso-8859-1?Q?C3p7Xl2gxVqJViP7v63Gc4gXOjxGw3n2fakQdFUktplq1H2JLjd6QBLpP5?= =?iso-8859-1?Q?XM1WxiQOffmoPRJ1HggWG3j535TBzFniSyv4dSoaoiulFqjnE6jddNuLaL?= =?iso-8859-1?Q?829etUOQrtmCh4mbRehXNVdXSmvfvDdnZuruElklBGsHGwLNhuzNCuzwgd?= =?iso-8859-1?Q?YIM9FeuiCdmL1r3Ae/+WeO5f8kHQiGcUtVWMWoeAWpcsHjtKIxVnQdcT94?= =?iso-8859-1?Q?dOwgLEZYjFzUsSJaXFhezpLBSyoYxWngKS0/WtSS8F64MJ4qlr0z4TDg76?= =?iso-8859-1?Q?1kFD+GZBUqpQFTuNdk7ZBURATOHL/k+CAvglPuQd+hjWvuV2C/JN7Vh/z5?= =?iso-8859-1?Q?8hs14dfPA1+Wi9ea4+MTS3i5Y1EZcXSqwrV0OBNt5R/rEZF7G+zS09Uy0B?= =?iso-8859-1?Q?7/bdMW+EBngFO0mVQap2p/aPAx6it3zOY1IPX46TVXe4Jr7zbwQU75YBwt?= =?iso-8859-1?Q?jTVGGs+Dnwlf1QriWNENeAPp58zcgvHNgG+6g3fRXtfbzR4wGBjQlhGiaW?= =?iso-8859-1?Q?lr77PJWkVCb9UocGO0Y/ZpYPEisZroDo7V+WaG4kAJTjvFiZEw4IfBYPZd?= =?iso-8859-1?Q?lXit8yvT/vCwWI3kI42f4JCUZqYjbO6Q78Y/TII5s3N975MaVvBhDd6O1r?= =?iso-8859-1?Q?rd5mFgKSZ1nUAQkyc3HnbTbusgIVmZyBSQ8P2G8VD872bs+6D86jZxSzns?= =?iso-8859-1?Q?PvT/M2SVP0luINpmj1gY02ZDClkmYFqkQZdJqFwqMAvz3kUCm6R4moE5Rn?= =?iso-8859-1?Q?yPquw46cpIZxfSuggkbRP3em75yx0Mkwk79dekEyT2qrRjHbL/aPEog0xi?= =?iso-8859-1?Q?Gktnj85kxDFVWIBdxiOC7yMrcfebCr//VU1cqwM23UT6Bc6vg0fb/FJU1W?= =?iso-8859-1?Q?194udtB5c4/Zxd8OtWTcB8oAikJW8z0cH/ZGEA6rwnbnleoU6PNcVKJMgE?= =?iso-8859-1?Q?uoo2MBHmlChPeWicS1sflLiNB2fZzHPbrCRjZXQCmk7hQTC5QMn2I0Wkmg?= =?iso-8859-1?Q?/HmbrrP9fpCJKzwJznlsCaFeYnRj0+FcenKOKf7CyjbaDEnxW014gp9tVz?= =?iso-8859-1?Q?KoYMtU4iRUEeXmH38Md2vWDZoc6wIqmSJCBlwxCZoyGcasNt2obDnnBzFs?= =?iso-8859-1?Q?N/HXu/EiY1qIE6clus3DLetNrzaQ9WJX6Jr1vaEjgKmK74jZzzsWl7EsTU?= =?iso-8859-1?Q?A9s3fuERenR0xcvB695scZuGhb5OCuPJcIH/pLFUMU83CD+uB+q+nOY9mJ?= =?iso-8859-1?Q?0oz/xwQgZfk+ENLQ8qH8Xkqz2YGq0VCv4emLSQ=3D=3D?= Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginatorOrg: sct-15-20-4755-11-msonline-outlook-64da6.templateTenant X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: DB8PR09MB4124.eurprd09.prod.outlook.com X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-CrossTenant-Network-Message-Id: 6cd519b1-4756-4171-8dbd-08da0f694508 X-MS-Exchange-CrossTenant-originalarrivaltime: 26 Mar 2022 20:43:23.0204 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa X-MS-Exchange-CrossTenant-rms-persistedconsumerorg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM0PR09MB3699 Subject: [Caml-list] =?ISO-8859-1?Q?=ABOCaml=3A?= Que se divise la =?ISO-8859-1?Q?s=E9mantique=2E_Exodus=BB?= Reply-To: Garcin Alexis X-Loop: caml-list@inria.fr X-Sequence: 18732 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: (Hintikka, Tarski, Kripke-Feferman)=0A= Salut =E0 toutes et tous.=0A= Le but du texte reproduit est de captiver l'essentiel. La valeur d'une expr= ession complexe est fonction de la valeur de ses parties. D=E9finition r=E9= cursive des propri=E9t=E9s s=E9mantiques. Conditions de d=E9finissabilit=E9= pour cet attribut s=E9mantique. D=E9duire l'applicabilit=E9 de cet attribu= t s=E9mantique =E0 l'expression complexe qui sera d=E9riv=E9e de l'attribut= s=E9mantique de ces parties principales de la nouvelle expression. Et donc= , l'attribut doit d'abord obtenir son ind=E9pendance de contexte. La d=E9fi= nition r=E9cursive habituelle du vrai (ou de la satisfaction).=0A= La v=E9rit=E9 devient un ensemble de satisfiabilit=E9. Du coup, dans le cod= e du langage OCaml, il est possible de ex=E9cuter s=E9par=E9ment les axiome= s de v=E9rit=E9 et de satisfaisabilit=E9.=0A= Toute critique sera bien accueillie si elle pr=E9sente un point de vue orig= inal et d=E9velopp=E9.=