{"id":"https://openalex.org/W4405898475","doi":null,"title":"Composer une salade CAISAR avec des r\u00e9seaux de neurones et de l'\u00e9dition de graphe","display_name":"Composer une salade CAISAR avec des r\u00e9seaux de neurones et de l'\u00e9dition de graphe","publication_year":2025,"publication_date":"2025-01-28","ids":{"openalex":"https://openalex.org/W4405898475"},"language":"fr","primary_location":{"id":"pmh:oai:HAL:hal-04859530v1","doi":null,"is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04859530","pdf_url":"https://inria.hal.science/hal-04859530/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"36es Journ\u00e9es Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiff\u00e9, France","raw_type":"info:eu-repo/semantics/conferenceObject"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-04859530/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087037717","display_name":"Michele Alberti","orcid":"https://orcid.org/0009-0001-4352-4555","observed_orcids":["https://orcid.org/0009-0001-4352-4555"]},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210085861","display_name":"Laboratoire d'Int\u00e9gration des Syst\u00e8mes et des Technologies","ror":"https://ror.org/000dbcc61","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210085861","https://openalex.org/I4210117989"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Alberti, Michele","raw_affiliation_strings":["LSL - Laboratoire de S\u00fbret\u00e9 et de s\u00e9curit\u00e9 des Logiciels (CEA List, Software Safety and Security Lab - France)","Universit\u00e9 Paris-Saclay (B\u00e2timent Br\u00e9guet, 3 Rue Joliot Curie 2e \u00e9t, 91190 Gif-sur-Yvette - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LSL - Laboratoire de S\u00fbret\u00e9 et de s\u00e9curit\u00e9 des Logiciels (CEA List, Software Safety and Security Lab - France)","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I4210085861"]},{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay (B\u00e2timent Br\u00e9guet, 3 Rue Joliot Curie 2e \u00e9t, 91190 Gif-sur-Yvette - France)","institution_ids":["https://openalex.org/I277688954"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061834310","display_name":"Fran\u00e7ois Bobot","orcid":"https://orcid.org/0000-0002-6756-0788","observed_orcids":["https://orcid.org/0000-0002-6756-0788"]},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210085861","display_name":"Laboratoire d'Int\u00e9gration des Syst\u00e8mes et des Technologies","ror":"https://ror.org/000dbcc61","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210085861","https://openalex.org/I4210117989"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Bobot, Fran\u00e7ois","raw_affiliation_strings":["LSL - Laboratoire de S\u00fbret\u00e9 et de s\u00e9curit\u00e9 des Logiciels (CEA List, Software Safety and Security Lab - France)","Universit\u00e9 Paris-Saclay (B\u00e2timent Br\u00e9guet, 3 Rue Joliot Curie 2e \u00e9t, 91190 Gif-sur-Yvette - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LSL - Laboratoire de S\u00fbret\u00e9 et de s\u00e9curit\u00e9 des Logiciels (CEA List, Software Safety and Security Lab - France)","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I4210085861"]},{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay (B\u00e2timent Br\u00e9guet, 3 Rue Joliot Curie 2e \u00e9t, 91190 Gif-sur-Yvette - France)","institution_ids":["https://openalex.org/I277688954"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018230981","display_name":"Julien Girard-Satabin","orcid":"https://orcid.org/0000-0001-6374-3694","observed_orcids":["https://orcid.org/0000-0001-6374-3694"]},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210085861","display_name":"Laboratoire d'Int\u00e9gration des Syst\u00e8mes et des Technologies","ror":"https://ror.org/000dbcc61","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210085861","https://openalex.org/I4210117989"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Girard-Satabin, Julien","raw_affiliation_strings":["LSL - Laboratoire de S\u00fbret\u00e9 et de s\u00e9curit\u00e9 des Logiciels (CEA List, Software Safety and Security Lab - France)","Universit\u00e9 Paris-Saclay (B\u00e2timent Br\u00e9guet, 3 Rue Joliot Curie 2e \u00e9t, 91190 Gif-sur-Yvette - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LSL - Laboratoire de S\u00fbret\u00e9 et de s\u00e9curit\u00e9 des Logiciels (CEA List, Software Safety and Security Lab - France)","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I4210085861"]},{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay (B\u00e2timent Br\u00e9guet, 3 Rue Joliot Curie 2e \u00e9t, 91190 Gif-sur-Yvette - France)","institution_ids":["https://openalex.org/I277688954"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000852884","display_name":"Alban Grastien","orcid":"https://orcid.org/0000-0001-8466-8777","observed_orcids":["https://orcid.org/0000-0001-8466-8777"]},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210085861","display_name":"Laboratoire d'Int\u00e9gration des Syst\u00e8mes et des Technologies","ror":"https://ror.org/000dbcc61","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210085861","https://openalex.org/I4210117989"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Grastien, Alban","raw_affiliation_strings":["LSL - Laboratoire de S\u00fbret\u00e9 et de s\u00e9curit\u00e9 des Logiciels (CEA List, Software Safety and Security Lab - France)","Universit\u00e9 Paris-Saclay (B\u00e2timent Br\u00e9guet, 3 Rue Joliot Curie 2e \u00e9t, 91190 Gif-sur-Yvette - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LSL - Laboratoire de S\u00fbret\u00e9 et de s\u00e9curit\u00e9 des Logiciels (CEA List, Software Safety and Security Lab - France)","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I4210085861"]},{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay (B\u00e2timent Br\u00e9guet, 3 Rue Joliot Curie 2e \u00e9t, 91190 Gif-sur-Yvette - France)","institution_ids":["https://openalex.org/I277688954"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001358364","display_name":"Aymeric Varasse","orcid":"https://orcid.org/0009-0007-0829-9309","observed_orcids":["https://orcid.org/0009-0007-0829-9309"]},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210085861","display_name":"Laboratoire d'Int\u00e9gration des Syst\u00e8mes et des Technologies","ror":"https://ror.org/000dbcc61","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210085861","https://openalex.org/I4210117989"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Varasse, Aymeric","raw_affiliation_strings":["DGD-I - Direction g\u00e9n\u00e9rale d\u00e9l\u00e9gu\u00e9e \u00e0 l'innovation (France)","LSL - Laboratoire de S\u00fbret\u00e9 et de s\u00e9curit\u00e9 des Logiciels (CEA List, Software Safety and Security Lab - France)","Universit\u00e9 Paris-Saclay (B\u00e2timent Br\u00e9guet, 3 Rue Joliot Curie 2e \u00e9t, 91190 Gif-sur-Yvette - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DGD-I - Direction g\u00e9n\u00e9rale d\u00e9l\u00e9gu\u00e9e \u00e0 l'innovation (France)","institution_ids":[]},{"raw_affiliation_string":"LSL - Laboratoire de S\u00fbret\u00e9 et de s\u00e9curit\u00e9 des Logiciels (CEA List, Software Safety and Security Lab - France)","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I4210085861"]},{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay (B\u00e2timent Br\u00e9guet, 3 Rue Joliot Curie 2e \u00e9t, 91190 Gif-sur-Yvette - France)","institution_ids":["https://openalex.org/I277688954"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043153766","display_name":"Zakaria Chihani","orcid":"https://orcid.org/0009-0004-8915-4774","observed_orcids":["https://orcid.org/0009-0004-8915-4774"]},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210085861","display_name":"Laboratoire d'Int\u00e9gration des Syst\u00e8mes et des Technologies","ror":"https://ror.org/000dbcc61","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210085861","https://openalex.org/I4210117989"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Chihani, Zakaria","raw_affiliation_strings":["LSL - Laboratoire de S\u00fbret\u00e9 et de s\u00e9curit\u00e9 des Logiciels (CEA List, Software Safety and Security Lab - France)","Universit\u00e9 Paris-Saclay (B\u00e2timent Br\u00e9guet, 3 Rue Joliot Curie 2e \u00e9t, 91190 Gif-sur-Yvette - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LSL - Laboratoire de S\u00fbret\u00e9 et de s\u00e9curit\u00e9 des Logiciels (CEA List, Software Safety and Security Lab - France)","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I4210085861"]},{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay (B\u00e2timent Br\u00e9guet, 3 Rue Joliot Curie 2e \u00e9t, 91190 Gif-sur-Yvette - France)","institution_ids":["https://openalex.org/I277688954"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00243521,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8295999765396118,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8295999765396118,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.1395999938249588,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.025100000202655792,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/why3","display_name":"Why3","score":0.8479999899864197},{"id":"https://openalex.org/keywords/graph-editing","display_name":"graph editing","score":0.718999981880188},{"id":"https://openalex.org/keywords/neural-network","display_name":"artificial neural networks","score":0.656000018119812},{"id":"https://openalex.org/keywords/formal-specification","display_name":"formal specification","score":0.5770000219345093},{"id":"https://openalex.org/keywords/hyperproperties","display_name":"hyperproperties","score":0.7429999709129333},{"id":"https://openalex.org/keywords/onnx","display_name":"ONNX","score":0.7870000004768372},{"id":"https://openalex.org/keywords/neural-network-verification","display_name":"neural network verification","score":0.5460000038146973},{"id":"https://openalex.org/keywords/software-verification","display_name":"software verification","score":0.503000020980835},{"id":"https://openalex.org/keywords/specification-languages","display_name":"specification languages","score":0.4909999966621399}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3481675386428833}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:HAL:hal-04859530v1","doi":null,"is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04859530","pdf_url":"https://inria.hal.science/hal-04859530/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"36es Journ\u00e9es Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiff\u00e9, France","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-04859530v1","doi":null,"is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04859530","pdf_url":"https://inria.hal.science/hal-04859530/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"36es Journ\u00e9es Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiff\u00e9, France","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4405898475.pdf","grobid_xml":"https://content.openalex.org/works/W4405898475.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W1820726602","https://openalex.org/W2004252880","https://openalex.org/W2112796928","https://openalex.org/W2594877703","https://openalex.org/W2735882127","https://openalex.org/W2957311447","https://openalex.org/W3125577182","https://openalex.org/W3142308036","https://openalex.org/W3160641830","https://openalex.org/W3165351503","https://openalex.org/W3185902186","https://openalex.org/W4221167340","https://openalex.org/W4246691913","https://openalex.org/W4285605913","https://openalex.org/W4287272785","https://openalex.org/W4317437650","https://openalex.org/W4366722528"],"related_works":["https://openalex.org/W4315768116","https://openalex.org/W7117443973","https://openalex.org/W7163926908","https://openalex.org/W7151386622","https://openalex.org/W4415110538","https://openalex.org/W2617209572","https://openalex.org/W3135385383","https://openalex.org/W1489080279","https://openalex.org/W4300080642","https://openalex.org/W4393246698"],"abstract_inverted_index":{"L'int\u00e9gration":[0],"de":[1,3,18,26,33,38,63,73,84,87,95,97,100,104,117,129,138,143,147,159,162,167,173,180,183],"r\u00e9seaux":[2,151],"neurones":[4],"dans":[5,156],"des":[6,55,69,126,150,153,197],"syst\u00e8mes":[7],"logiciels":[8],"critiques":[9],"comporte":[10],"un":[11],"obstacle":[12],"majeur":[13],":":[14],"la":[15,24,31,39,74,82,98,118,133,187,190],"sous-sp\u00e9cification":[16],"intrins\u00e8que":[17],"leur":[19,45,157,174],"domaine":[20],"d'entr\u00e9e.":[21],"En":[22],"cons\u00e9quence,":[23],"communaut\u00e9":[25],"recherche":[27],"se":[28],"focalise":[29],"sur":[30],"sp\u00e9cification":[32,64,96,188],"propri\u00e9t\u00e9s":[34,70,107,193],"simples,":[35],"\u00e0":[36,54,67,165],"l'\u00e9chelle":[37],"fonction.":[40],"Les":[41],"m\u00e9thodes":[42],"formelles":[43],"(et":[44],"ins\u00e9parable":[46],"partenaire,":[47],"les":[48,61,106,163],"sp\u00e9cifications":[49,154],"formelles)":[50],"restent":[51],"donc":[52],"born\u00e9es":[53],"probl\u00e8mes":[56],"peu":[57],"expressifs.":[58],"Plus":[59],"sp\u00e9cifiquement,":[60],"langages":[62],"existants":[65],"peinent":[66],"exprimer":[68],"allant":[71],"au-del\u00e0":[72],"comparaison":[75],"arithm\u00e9tique":[76],"entre":[77],"variables":[78],"flottantes":[79],"ou":[80],"impliquant":[81,108],"composition":[83],"fonctions.":[85],"Afin":[86],"lever":[88],"ces":[89],"limites,":[90],"nous":[91,145],"\u00e9tendons":[92],"le":[93],"langage":[94,112],"plateforme":[99,119],"v\u00e9rification":[101,191],"Why3":[102],"afin":[103],"formaliser":[105],"plusieurs":[109],"composants.":[110],"Ce":[111],"est":[113],"impl\u00e9ment\u00e9":[114],"au":[115,178],"sein":[116,179],"CAISAR.":[120],"Nous":[121],"augmentons":[122],"son":[123],"\u00e9valuation":[124],"avec":[125],"techniques":[127],"d'\u00e9dition":[128],"graphe":[130,144],"qui":[131],"exploitent":[132],"structure":[134],"simple":[135],"du":[136],"standard":[137],"repr\u00e9sentation":[139],"ONNX.":[140],"L'\u00e9dition":[141],"automatique":[142],"permet":[146],"cr\u00e9er":[148],"automatiquement":[149],"encodant":[152],"directement":[155],"flot":[158],"contr\u00f4le":[160],"-et":[161,189],"v\u00e9rifier":[164],"l'aide":[166],"prouveurs":[168],"d\u00e9di\u00e9s":[169],"sans":[170],"aucune":[171],"modification":[172],"code.":[175],"Ces":[176],"d\u00e9veloppements":[177],"CAISAR":[181],"offrent":[182],"nouvelles":[184],"possibilit\u00e9s":[185],"pour":[186],"-de":[192],"complexes,":[194],"telles":[195],"que":[196],"hyperpropri\u00e9t\u00e9s.":[198]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2024-12-30T00:00:00"}