{"id":185,"date":"2024-07-11T11:10:38","date_gmt":"2024-07-11T11:10:38","guid":{"rendered":"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/"},"modified":"2024-07-11T11:10:38","modified_gmt":"2024-07-11T11:10:38","slug":"theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4","status":"publish","type":"post","link":"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/","title":{"rendered":"TheoremLlama: Un Cadre Complet pour Former un Mod\u00e8le de Langage de Grande Taille \u00e0 Devenir Expert en Lean4"},"content":{"rendered":"

<\/p>\n

Une avanc\u00e9e majeure dans le raisonnement math\u00e9matique utilise des langages formels v\u00e9rifiables par ordinateur, comme Lean, pour prouver des th\u00e9or\u00e8mes math\u00e9matiques, garantissant ainsi pr\u00e9cision et coh\u00e9rence. L’utilisation des mod\u00e8les de langue \u00e9tendus (LLM) form\u00e9s sur des preuves en langage naturel (NL) pour produire des preuves formelles compl\u00e8tes est une m\u00e9thode prometteuse pour prouver les th\u00e9or\u00e8mes formels.<\/p>\n

N\u00e9anmoins, l’absence de donn\u00e9es align\u00e9es NL et FL pose souvent des obstacles \u00e0 l’efficacit\u00e9 des LLM contemporains. Pour surmonter ces limitations, des chercheurs de l’Universit\u00e9 des Sciences et Technologies de Hong Kong et de l’Universit\u00e9 de l’Illinois Urbana-Champaign ont introduit TheoremLlama, une structure compl\u00e8te destin\u00e9e \u00e0 sp\u00e9cialiser un LLM polyvalent dans la preuve de th\u00e9or\u00e8mes Lean4.<\/p>\n

TheoremLlama comporte plusieurs \u00e9l\u00e9ments cl\u00e9s:<\/p>\n

1. G\u00e9n\u00e9ration d’un ensemble de donn\u00e9es NL-FL align\u00e9: Il utilise des techniques pour cr\u00e9er un ensemble de donn\u00e9es align\u00e9 NL-FL, appel\u00e9 Open Bootstrapped Theorems (OBT), en int\u00e9grant des preuves NL dans le code Lean4.<\/p>\n

2. Formation formelle pour les prouveurs de th\u00e9or\u00e8mes LLM: Le syst\u00e8me applique de nouvelles strat\u00e9gies de formation pour aider les LLM \u00e0 devenir des prouveurs de th\u00e9or\u00e8mes Lean4 efficaces.<\/p>\n

3. \u00c9criture de preuves Lean4 par LLM: Am\u00e9lioration de la capacit\u00e9 du LLM \u00e0 \u00e9crire des preuves formelles en Lean4 de mani\u00e8re autonome.<\/p>\n

Les r\u00e9sultats exp\u00e9rimentaux d\u00e9montrent l’efficacit\u00e9 de TheoremLlama, surpassant les r\u00e9sultats de base de GPT-4. En conclusion, TheoremLlama est une avanc\u00e9e significative utilisant les capacit\u00e9s linguistiques des LLM pour formaliser la preuve de th\u00e9or\u00e8mes en Lean4.<\/p>\n","protected":false},"excerpt":{"rendered":"

Une avanc\u00e9e majeure dans le raisonnement math\u00e9matique utilise des langages formels v\u00e9rifiables par ordinateur, comme Lean, pour prouver des th\u00e9or\u00e8mes math\u00e9matiques, garantissant ainsi pr\u00e9cision et coh\u00e9rence. L’utilisation des mod\u00e8les de langue \u00e9tendus (LLM) form\u00e9s sur des preuves en langage naturel (NL) pour produire des preuves formelles compl\u00e8tes est une m\u00e9thode prometteuse pour prouver les th\u00e9or\u00e8mes […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-185","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"yoast_head":"\nTheoremLlama: Un Cadre Complet pour Former un Mod\u00e8le de Langage de Grande Taille \u00e0 Devenir Expert en Lean4 - IA & TECHNOLOGIES<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"TheoremLlama: Un Cadre Complet pour Former un Mod\u00e8le de Langage de Grande Taille \u00e0 Devenir Expert en Lean4 - IA & TECHNOLOGIES\" \/>\n<meta property=\"og:description\" content=\"Une avanc\u00e9e majeure dans le raisonnement math\u00e9matique utilise des langages formels v\u00e9rifiables par ordinateur, comme Lean, pour prouver des th\u00e9or\u00e8mes math\u00e9matiques, garantissant ainsi pr\u00e9cision et coh\u00e9rence. L’utilisation des mod\u00e8les de langue \u00e9tendus (LLM) form\u00e9s sur des preuves en langage naturel (NL) pour produire des preuves formelles compl\u00e8tes est une m\u00e9thode prometteuse pour prouver les th\u00e9or\u00e8mes […]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/\" \/>\n<meta property=\"og:site_name\" content=\"IA & TECHNOLOGIES\" \/>\n<meta property=\"article:published_time\" content=\"2024-07-11T11:10:38+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/oaidalleapiprodscus.blob.core.windows.net\/private\/org-PXteLUy4B6mslwRon6h7ri9z\/user-0jfma6aPNvZyLXZUbw4CmvZG\/img-YxYN6QJFQPYcmbZYeOhJcrpL.png?st=2024-07-11T10%3A10%3A37Z&se=2024-07-11T12%3A10%3A37Z&sp=r&sv=2023-11-03&sr=b&rscd=inline&rsct=image\/png&skoid=6aaadede-4fb3-4698-a8f6-684d7786b067&sktid=a48cca56-e6da-484e-a814-9c849652bcb3&skt=2024-07-11T02%3A21%3A11Z&ske=2024-07-12T02%3A21%3A11Z&sks=b&skv=2023-11-03&sig=tzYbRF9GnGxNBDV4NRQcnabcZQ1I0WXwat6kqNO9Uhg%3D\" \/>\n<meta name=\"author\" content=\"m\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u00c9crit par\" \/>\n\t<meta name=\"twitter:data1\" content=\"m\" \/>\n\t<meta name=\"twitter:label2\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/\",\"url\":\"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/\",\"name\":\"TheoremLlama: Un Cadre Complet pour Former un Mod\u00e8le de Langage de Grande Taille \u00e0 Devenir Expert en Lean4 - IA & TECHNOLOGIES\",\"isPartOf\":{\"@id\":\"https:\/\/www.asm15.fr\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/oaidalleapiprodscus.blob.core.windows.net\/private\/org-PXteLUy4B6mslwRon6h7ri9z\/user-0jfma6aPNvZyLXZUbw4CmvZG\/img-YxYN6QJFQPYcmbZYeOhJcrpL.png?st=2024-07-11T10%3A10%3A37Z&se=2024-07-11T12%3A10%3A37Z&sp=r&sv=2023-11-03&sr=b&rscd=inline&rsct=image\/png&skoid=6aaadede-4fb3-4698-a8f6-684d7786b067&sktid=a48cca56-e6da-484e-a814-9c849652bcb3&skt=2024-07-11T02%3A21%3A11Z&ske=2024-07-12T02%3A21%3A11Z&sks=b&skv=2023-11-03&sig=tzYbRF9GnGxNBDV4NRQcnabcZQ1I0WXwat6kqNO9Uhg%3D\",\"datePublished\":\"2024-07-11T11:10:38+00:00\",\"author\":{\"@id\":\"https:\/\/www.asm15.fr\/#\/schema\/person\/9e2a0039267955de05a7ce4282a905e6\"},\"breadcrumb\":{\"@id\":\"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/#primaryimage\",\"url\":\"https:\/\/oaidalleapiprodscus.blob.core.windows.net\/private\/org-PXteLUy4B6mslwRon6h7ri9z\/user-0jfma6aPNvZyLXZUbw4CmvZG\/img-YxYN6QJFQPYcmbZYeOhJcrpL.png?st=2024-07-11T10%3A10%3A37Z&se=2024-07-11T12%3A10%3A37Z&sp=r&sv=2023-11-03&sr=b&rscd=inline&rsct=image\/png&skoid=6aaadede-4fb3-4698-a8f6-684d7786b067&sktid=a48cca56-e6da-484e-a814-9c849652bcb3&skt=2024-07-11T02%3A21%3A11Z&ske=2024-07-12T02%3A21%3A11Z&sks=b&skv=2023-11-03&sig=tzYbRF9GnGxNBDV4NRQcnabcZQ1I0WXwat6kqNO9Uhg%3D\",\"contentUrl\":\"https:\/\/oaidalleapiprodscus.blob.core.windows.net\/private\/org-PXteLUy4B6mslwRon6h7ri9z\/user-0jfma6aPNvZyLXZUbw4CmvZG\/img-YxYN6QJFQPYcmbZYeOhJcrpL.png?st=2024-07-11T10%3A10%3A37Z&se=2024-07-11T12%3A10%3A37Z&sp=r&sv=2023-11-03&sr=b&rscd=inline&rsct=image\/png&skoid=6aaadede-4fb3-4698-a8f6-684d7786b067&sktid=a48cca56-e6da-484e-a814-9c849652bcb3&skt=2024-07-11T02%3A21%3A11Z&ske=2024-07-12T02%3A21%3A11Z&sks=b&skv=2023-11-03&sig=tzYbRF9GnGxNBDV4NRQcnabcZQ1I0WXwat6kqNO9Uhg%3D\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Accueil\",\"item\":\"https:\/\/www.asm15.fr\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"TheoremLlama: Un Cadre Complet pour Former un Mod\u00e8le de Langage de Grande Taille \u00e0 Devenir Expert en Lean4\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.asm15.fr\/#website\",\"url\":\"https:\/\/www.asm15.fr\/\",\"name\":\"IA & TECHNOLOGIES\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.asm15.fr\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.asm15.fr\/#\/schema\/person\/9e2a0039267955de05a7ce4282a905e6\",\"name\":\"m\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.asm15.fr\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/6fe5cecb08501f51d81efa38bdd65daa775b9224f6dc9617c8615be766310093?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/6fe5cecb08501f51d81efa38bdd65daa775b9224f6dc9617c8615be766310093?s=96&d=mm&r=g\",\"caption\":\"m\"},\"sameAs\":[\"https:\/\/www.asm15.fr\"],\"url\":\"https:\/\/www.asm15.fr\/index.php\/author\/m\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"TheoremLlama: Un Cadre Complet pour Former un Mod\u00e8le de Langage de Grande Taille \u00e0 Devenir Expert en Lean4 - IA & TECHNOLOGIES","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/","og_locale":"fr_FR","og_type":"article","og_title":"TheoremLlama: Un Cadre Complet pour Former un Mod\u00e8le de Langage de Grande Taille \u00e0 Devenir Expert en Lean4 - IA & TECHNOLOGIES","og_description":"Une avanc\u00e9e majeure dans le raisonnement math\u00e9matique utilise des langages formels v\u00e9rifiables par ordinateur, comme Lean, pour prouver des th\u00e9or\u00e8mes math\u00e9matiques, garantissant ainsi pr\u00e9cision et coh\u00e9rence. L’utilisation des mod\u00e8les de langue \u00e9tendus (LLM) form\u00e9s sur des preuves en langage naturel (NL) pour produire des preuves formelles compl\u00e8tes est une m\u00e9thode prometteuse pour prouver les th\u00e9or\u00e8mes […]","og_url":"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/","og_site_name":"IA & TECHNOLOGIES","article_published_time":"2024-07-11T11:10:38+00:00","og_image":[{"url":"https:\/\/oaidalleapiprodscus.blob.core.windows.net\/private\/org-PXteLUy4B6mslwRon6h7ri9z\/user-0jfma6aPNvZyLXZUbw4CmvZG\/img-YxYN6QJFQPYcmbZYeOhJcrpL.png?st=2024-07-11T10%3A10%3A37Z&se=2024-07-11T12%3A10%3A37Z&sp=r&sv=2023-11-03&sr=b&rscd=inline&rsct=image\/png&skoid=6aaadede-4fb3-4698-a8f6-684d7786b067&sktid=a48cca56-e6da-484e-a814-9c849652bcb3&skt=2024-07-11T02%3A21%3A11Z&ske=2024-07-12T02%3A21%3A11Z&sks=b&skv=2023-11-03&sig=tzYbRF9GnGxNBDV4NRQcnabcZQ1I0WXwat6kqNO9Uhg%3D","type":"","width":"","height":""}],"author":"m","twitter_card":"summary_large_image","twitter_misc":{"\u00c9crit par":"m","Dur\u00e9e de lecture estim\u00e9e":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/","url":"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/","name":"TheoremLlama: Un Cadre Complet pour Former un Mod\u00e8le de Langage de Grande Taille \u00e0 Devenir Expert en Lean4 - IA & TECHNOLOGIES","isPartOf":{"@id":"https:\/\/www.asm15.fr\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/#primaryimage"},"image":{"@id":"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/#primaryimage"},"thumbnailUrl":"https:\/\/oaidalleapiprodscus.blob.core.windows.net\/private\/org-PXteLUy4B6mslwRon6h7ri9z\/user-0jfma6aPNvZyLXZUbw4CmvZG\/img-YxYN6QJFQPYcmbZYeOhJcrpL.png?st=2024-07-11T10%3A10%3A37Z&se=2024-07-11T12%3A10%3A37Z&sp=r&sv=2023-11-03&sr=b&rscd=inline&rsct=image\/png&skoid=6aaadede-4fb3-4698-a8f6-684d7786b067&sktid=a48cca56-e6da-484e-a814-9c849652bcb3&skt=2024-07-11T02%3A21%3A11Z&ske=2024-07-12T02%3A21%3A11Z&sks=b&skv=2023-11-03&sig=tzYbRF9GnGxNBDV4NRQcnabcZQ1I0WXwat6kqNO9Uhg%3D","datePublished":"2024-07-11T11:10:38+00:00","author":{"@id":"https:\/\/www.asm15.fr\/#\/schema\/person\/9e2a0039267955de05a7ce4282a905e6"},"breadcrumb":{"@id":"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/"]}]},{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/#primaryimage","url":"https:\/\/oaidalleapiprodscus.blob.core.windows.net\/private\/org-PXteLUy4B6mslwRon6h7ri9z\/user-0jfma6aPNvZyLXZUbw4CmvZG\/img-YxYN6QJFQPYcmbZYeOhJcrpL.png?st=2024-07-11T10%3A10%3A37Z&se=2024-07-11T12%3A10%3A37Z&sp=r&sv=2023-11-03&sr=b&rscd=inline&rsct=image\/png&skoid=6aaadede-4fb3-4698-a8f6-684d7786b067&sktid=a48cca56-e6da-484e-a814-9c849652bcb3&skt=2024-07-11T02%3A21%3A11Z&ske=2024-07-12T02%3A21%3A11Z&sks=b&skv=2023-11-03&sig=tzYbRF9GnGxNBDV4NRQcnabcZQ1I0WXwat6kqNO9Uhg%3D","contentUrl":"https:\/\/oaidalleapiprodscus.blob.core.windows.net\/private\/org-PXteLUy4B6mslwRon6h7ri9z\/user-0jfma6aPNvZyLXZUbw4CmvZG\/img-YxYN6QJFQPYcmbZYeOhJcrpL.png?st=2024-07-11T10%3A10%3A37Z&se=2024-07-11T12%3A10%3A37Z&sp=r&sv=2023-11-03&sr=b&rscd=inline&rsct=image\/png&skoid=6aaadede-4fb3-4698-a8f6-684d7786b067&sktid=a48cca56-e6da-484e-a814-9c849652bcb3&skt=2024-07-11T02%3A21%3A11Z&ske=2024-07-12T02%3A21%3A11Z&sks=b&skv=2023-11-03&sig=tzYbRF9GnGxNBDV4NRQcnabcZQ1I0WXwat6kqNO9Uhg%3D"},{"@type":"BreadcrumbList","@id":"https:\/\/www.asm15.fr\/index.php\/2024\/07\/11\/theoremllama-un-cadre-complet-pour-former-un-modele-de-langage-de-grande-taille-a-devenir-expert-en-lean4\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Accueil","item":"https:\/\/www.asm15.fr\/"},{"@type":"ListItem","position":2,"name":"TheoremLlama: Un Cadre Complet pour Former un Mod\u00e8le de Langage de Grande Taille \u00e0 Devenir Expert en Lean4"}]},{"@type":"WebSite","@id":"https:\/\/www.asm15.fr\/#website","url":"https:\/\/www.asm15.fr\/","name":"IA & TECHNOLOGIES","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.asm15.fr\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"fr-FR"},{"@type":"Person","@id":"https:\/\/www.asm15.fr\/#\/schema\/person\/9e2a0039267955de05a7ce4282a905e6","name":"m","image":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.asm15.fr\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/6fe5cecb08501f51d81efa38bdd65daa775b9224f6dc9617c8615be766310093?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/6fe5cecb08501f51d81efa38bdd65daa775b9224f6dc9617c8615be766310093?s=96&d=mm&r=g","caption":"m"},"sameAs":["https:\/\/www.asm15.fr"],"url":"https:\/\/www.asm15.fr\/index.php\/author\/m\/"}]}},"_links":{"self":[{"href":"https:\/\/www.asm15.fr\/index.php\/wp-json\/wp\/v2\/posts\/185","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.asm15.fr\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.asm15.fr\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.asm15.fr\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.asm15.fr\/index.php\/wp-json\/wp\/v2\/comments?post=185"}],"version-history":[{"count":0,"href":"https:\/\/www.asm15.fr\/index.php\/wp-json\/wp\/v2\/posts\/185\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.asm15.fr\/index.php\/wp-json\/wp\/v2\/media?parent=185"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.asm15.fr\/index.php\/wp-json\/wp\/v2\/categories?post=185"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.asm15.fr\/index.php\/wp-json\/wp\/v2\/tags?post=185"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}