{"id":129,"date":"2022-09-22T11:21:13","date_gmt":"2022-09-22T09:21:13","guid":{"rendered":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/?page_id=129"},"modified":"2024-12-17T10:53:14","modified_gmt":"2024-12-17T09:53:14","slug":"telecharger-d%e2%88%83%e2%88%80duction","status":"publish","type":"page","link":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/telecharger-d%e2%88%83%e2%88%80duction\/","title":{"rendered":"T\u00e9l\u00e9charger  D\u2203\u2200DUCTION"},"content":{"rendered":"\n<p><em>L&rsquo;installation recommand\u00e9e utilise maintenant le \u00ab\u00a0paquet Python\u00a0\u00bb<\/em>, <em>voir <a href=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/pip-install-deaduction\/\" data-type=\"page\" data-id=\"269\">cette page.<\/a><\/em><\/p>\n\n\n\n<p>Cette page contient les versions \u00ab\u00a0tout en un\u00a0\u00bb. Pour la source, voir <a href=\"https:\/\/github.com\/dEAduction\/dEAduction\">ici<\/a>. En cas de probl\u00e8me sous Mac, voir <a href=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/d%e2%88%83%e2%88%80duction\/#mac-gmp\">ici<\/a>.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n\n\n<ul class=\"wp-block-latest-posts__list has-dates wp-block-latest-posts\"><li><a class=\"wp-block-latest-posts__post-title\" href=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/2024\/03\/18\/d%e2%88%83%e2%88%80duction-0-3999\/\">D\u2203\u2200DUCTION 0.3999<\/a><time datetime=\"2024-03-18T11:27:37+01:00\" class=\"wp-block-latest-posts__post-date\">18 mars 2024<\/time><div class=\"wp-block-latest-posts__post-full-content\"><!-- wp:buttons -->\n<div class=\"wp-block-buttons\"><!-- wp:button -->\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/mycore.core-cloud.net\/index.php\/s\/pVsc6s5Pqbqqn0O\" target=\"_blank\" rel=\"noreferrer noopener\">Ubuntu<\/a><\/div>\n<!-- \/wp:button -->\n\n<!-- wp:button -->\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/mycore.core-cloud.net\/index.php\/s\/MHoVCyaYnM6oi0k\" target=\"_blank\" rel=\"noreferrer noopener\">Mac<\/a><\/div>\n<!-- \/wp:button --><\/div>\n<!-- \/wp:buttons -->\n\n<!-- wp:heading {\"level\":3} -->\n<h3 class=\"wp-block-heading\">Nouveaut\u00e9s : corrections divers bugs, exercices \u00e9l\u00e9mentaires d&rsquo;arithm\u00e9tique<\/h3>\n<!-- \/wp:heading -->\n\n<!-- wp:heading {\"level\":3} -->\n<h3 class=\"wp-block-heading\">Instructions d&rsquo;installation :<\/h3>\n<!-- \/wp:heading -->\n\n<!-- wp:list -->\n<ul class=\"wp-block-list\"><!-- wp:list-item -->\n<li>Pour une installation l\u00e9g\u00e8re sous Linux ou Mac, choisir le premier ou deuxi\u00e8me lien.<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Pas de version l\u00e9g\u00e8re pour Windows pour le moment, utiliser la machine virtuelle.<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>La machine virtuelle prend une place m\u00e9moire importante (autour de 30Go), mais permettra une mise \u00e0 jour facile. Voici les instructions d&rsquo;installation :<!-- wp:list -->\n<ul class=\"wp-block-list\"><!-- wp:list-item -->\n<li> Installez le logiciel Oracle VirtualBox VM sur votre syst\u00e8me <a href=\"https:\/\/www.virtualbox.org\/wiki\/Downloads\">https:\/\/www.virtualbox.org\/wiki\/Downloads<\/a> (si votre syst\u00e8me est Linux et que vous ne tenez pas absolument a avoir la derniere version, il suffit de taper: sudo apt-get install virtualbox virtualbox-ext-pack)<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li> T\u00e9l\u00e9chargez le fichier : Debian-ProofAssistants.ova<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Dans un explorateur de fichiers, faites un clic droit sur le fichier Debian-ProofAssistants.ova pr\u00e9c\u00e9demment t\u00e9l\u00e9charg\u00e9 et choisissez &lsquo;Ouvrir avec Oracle VM VirtualBox&rsquo; Puis Cliquez sur &lsquo;Importer&rsquo;<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Dans le logiciel &lsquo;Oracle VM VirtualBox&rsquo; cliquez sur la machine \u00ab\u00a0Debian-ProofAssistants\u00a0\u00bb (colonne de gauche) puis sur \u00ab\u00a0D\u00e9marrer\u00a0\u00bb (grosse fl\u00e8che verte)<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Le login est &lsquo;appam&rsquo; et le mot de passe est &lsquo;anr&rsquo;<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Double-cliquer sur le script &lsquo;Deaduction.sh&rsquo; qui apparait sur le bureau virtuel<\/li>\n<!-- \/wp:list-item --><\/ul>\n<!-- \/wp:list --><\/li>\n<!-- \/wp:list-item --><\/ul>\n<!-- \/wp:list --><\/div><\/li>\n<li><a class=\"wp-block-latest-posts__post-title\" href=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/2023\/12\/28\/d%e2%88%83%e2%88%80duction-0-39\/\">D\u2203\u2200DUCTION 0.39<\/a><time datetime=\"2023-12-28T10:47:07+01:00\" class=\"wp-block-latest-posts__post-date\">28 d\u00e9cembre 2023<\/time><div class=\"wp-block-latest-posts__post-full-content\"><!-- wp:buttons -->\n<div class=\"wp-block-buttons\"><!-- wp:button -->\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/dropsu.sorbonne-universite.fr\/s\/nFc76jKtcZxw5LM\" target=\"_blank\" rel=\"noreferrer noopener\">Version Linux (Ubuntu)<\/a><\/div>\n<!-- \/wp:button --><\/div>\n<!-- \/wp:buttons -->\n\n<!-- wp:spacer {\"height\":\"41px\"} -->\n<div style=\"height:41px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<!-- \/wp:spacer -->\n\n<!-- wp:heading {\"level\":3} -->\n<h3 class=\"wp-block-heading\">Nouveaut\u00e9s :<\/h3>\n<!-- \/wp:heading -->\n\n<!-- wp:list -->\n<ul><!-- wp:list-item -->\n<li>Une \u00ab\u00a0calculatrice logique\u00a0\u00bb permet \u00e0 l&rsquo;utilisateurice de rentrer des objets math\u00e9matiques (pour appliquer un th\u00e9or\u00e8me, fournir un t\u00e9moin pour d\u00e9montrer une propri\u00e9t\u00e9 existentielle, formuler un nouveau but, etc.)<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Nouvelle interface de choix des exercices, avec indication des exercices faits, et possibilit\u00e9 de sauvegarder les preuves.<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Boutons de calcul (exp\u00e9rimental) : additionner des in\u00e9galit\u00e9s, les enchainer, etc. .<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Am\u00e9lioration de l&rsquo;affichage des maths.<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>R\u00e9solution de probl\u00e8mes de ralentissement, ajout d&rsquo;un bouton pour red\u00e9marrer le serveur Lean.<\/li>\n<!-- \/wp:list-item --><\/ul>\n<!-- \/wp:list -->\n\n<!-- wp:columns -->\n<div class=\"wp-block-columns\"><!-- wp:column {\"width\":\"100%\"} -->\n<div class=\"wp-block-column\" style=\"flex-basis:100%\"><!-- wp:spacer {\"height\":\"37px\"} -->\n<div style=\"height:37px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<!-- \/wp:spacer --><\/div>\n<!-- \/wp:column --><\/div>\n<!-- \/wp:columns -->\n\n<!-- wp:columns {\"verticalAlignment\":\"center\"} -->\n<div class=\"wp-block-columns are-vertically-aligned-center\"><!-- wp:column {\"verticalAlignment\":\"center\",\"width\":\"50%\"} -->\n<div class=\"wp-block-column is-vertically-aligned-center\" style=\"flex-basis:50%\"><!-- wp:columns -->\n<div class=\"wp-block-columns\"><!-- wp:column -->\n<div class=\"wp-block-column\"><!-- wp:image {\"lightbox\":{\"enabled\":false},\"id\":201,\"sizeSlug\":\"full\",\"linkDestination\":\"none\"} -->\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2023\/12\/Capture-decran-de-2023-12-27-17-54-51-1.png\" \/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:image {\"id\":202,\"sizeSlug\":\"full\",\"linkDestination\":\"none\"} -->\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"746\" height=\"398\" src=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2023\/12\/Capture-decran-de-2023-12-27-17-55-21.png\" class=\"wp-image-202\" srcset=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2023\/12\/Capture-decran-de-2023-12-27-17-55-21.png 746w, https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2023\/12\/Capture-decran-de-2023-12-27-17-55-21-300x160.png 300w\" sizes=\"auto, (max-width: 746px) 100vw, 746px\" \/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:image {\"id\":203,\"width\":\"645px\",\"height\":\"auto\",\"sizeSlug\":\"full\",\"linkDestination\":\"none\"} -->\n<figure class=\"wp-block-image size-full is-resized\"><img loading=\"lazy\" decoding=\"async\" width=\"746\" height=\"560\" src=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2023\/12\/Capture-decran-de-2023-12-27-17-56-53.png\" alt=\"Formulaire pour appliquer l'in\u00e9galit\u00e9 triangulaire.\" class=\"wp-image-203\" style=\"width:645px;height:auto\" srcset=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2023\/12\/Capture-decran-de-2023-12-27-17-56-53.png 746w, https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2023\/12\/Capture-decran-de-2023-12-27-17-56-53-300x225.png 300w\" sizes=\"auto, (max-width: 746px) 100vw, 746px\" \/><\/figure>\n<!-- \/wp:image --><\/div>\n<!-- \/wp:column --><\/div>\n<!-- \/wp:columns --><\/div>\n<!-- \/wp:column -->\n\n<!-- wp:column {\"verticalAlignment\":\"center\",\"width\":\"50%\"} -->\n<div class=\"wp-block-column is-vertically-aligned-center\" style=\"flex-basis:50%\"><!-- wp:image {\"id\":200,\"sizeSlug\":\"full\",\"linkDestination\":\"none\"} -->\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"458\" height=\"926\" src=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2023\/12\/Capture-decran-de-2023-12-27-17-54-15-2.png\" alt=\"Calculatrice Logique, pour remplir les formulaires pr\u00e9c\u00e9dents.\" class=\"wp-image-200\" srcset=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2023\/12\/Capture-decran-de-2023-12-27-17-54-15-2.png 458w, https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2023\/12\/Capture-decran-de-2023-12-27-17-54-15-2-148x300.png 148w\" sizes=\"auto, (max-width: 458px) 100vw, 458px\" \/><\/figure>\n<!-- \/wp:image --><\/div>\n<!-- \/wp:column --><\/div>\n<!-- \/wp:columns -->\n\n<!-- wp:image {\"align\":\"center\",\"id\":221,\"width\":\"629px\",\"height\":\"auto\",\"sizeSlug\":\"full\",\"linkDestination\":\"none\"} -->\n<figure class=\"wp-block-image aligncenter size-full is-resized\"><img loading=\"lazy\" decoding=\"async\" width=\"714\" height=\"695\" src=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2023\/12\/Capture-decran-de-2023-12-28-11-28-45.png\" alt=\"Choisir un exercice, avec affichage de l'\u00e9nonc\u00e9 de l'exercice et des exercices d\u00e9j\u00e0 r\u00e9solus\" class=\"wp-image-221\" style=\"width:629px;height:auto\" srcset=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2023\/12\/Capture-decran-de-2023-12-28-11-28-45.png 714w, https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2023\/12\/Capture-decran-de-2023-12-28-11-28-45-300x292.png 300w\" sizes=\"auto, (max-width: 714px) 100vw, 714px\" \/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:separator -->\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n<!-- \/wp:separator --><\/div><\/li>\n<li><a class=\"wp-block-latest-posts__post-title\" href=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/2023\/01\/16\/d%e2%88%83%e2%88%80duction-0-31\/\">D\u2203\u2200DUCTION 0.31<\/a><time datetime=\"2023-01-16T09:51:26+01:00\" class=\"wp-block-latest-posts__post-date\">16 janvier 2023<\/time><div class=\"wp-block-latest-posts__post-full-content\"><!-- wp:spacer {\"height\":\"34px\"} -->\n<div style=\"height:34px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<!-- \/wp:spacer -->\n\n<!-- wp:buttons -->\n<div class=\"wp-block-buttons\"><!-- wp:button -->\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/dropsu.sorbonne-universite.fr\/s\/ZM3JgxANiMBx4Yj\">Version Mac<\/a><\/div>\n<!-- \/wp:button -->\n\n<!-- wp:button -->\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/dropsu.sorbonne-universite.fr\/s\/fnxLCiCKCBF9X2N\">Version Windows<\/a><\/div>\n<!-- \/wp:button -->\n\n<!-- wp:button -->\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/dropsu.sorbonne-universite.fr\/s\/JAze8k4dgFkygay\" target=\"_blank\" rel=\"noreferrer noopener\">Version Linux (Ubuntu)<\/a><\/div>\n<!-- \/wp:button --><\/div>\n<!-- \/wp:buttons -->\n\n<!-- wp:spacer {\"height\":\"31px\"} -->\n<div style=\"height:31px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<!-- \/wp:spacer -->\n\n<!-- wp:heading {\"level\":3} -->\n<h3>Nouveaut\u00e9s :<\/h3>\n<!-- \/wp:heading -->\n\n<!-- wp:list -->\n<ul><!-- wp:list-item -->\n<li>Quelques exercices sur les limites !<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Correction de bugs, am\u00e9lioration du choix des param\u00e8tres<\/li>\n<!-- \/wp:list-item --><\/ul>\n<!-- \/wp:list -->\n\n<!-- wp:image {\"id\":171,\"width\":614,\"height\":542,\"sizeSlug\":\"full\",\"linkDestination\":\"none\"} -->\n<figure class=\"wp-block-image size-full is-resized\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2023\/01\/exo_limite.png\" alt=\"Liste d'exercices sur les limites, avec un exercice s\u00e9lectionn\u00e9 : une suite croissante non major\u00e9e tend vers plus l'infini\" class=\"wp-image-171\" width=\"614\" height=\"542\" srcset=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2023\/01\/exo_limite.png 819w, https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2023\/01\/exo_limite-300x264.png 300w, https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2023\/01\/exo_limite-768x677.png 768w\" sizes=\"auto, (max-width: 614px) 100vw, 614px\" \/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:spacer -->\n<div style=\"height:100px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<!-- \/wp:spacer -->\n\n<!-- wp:separator -->\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n<!-- \/wp:separator --><\/div><\/li>\n<li><a class=\"wp-block-latest-posts__post-title\" href=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/2022\/09\/22\/d%e2%88%83%e2%88%80duction-0-3\/\">D\u2203\u2200DUCTION 0.3<\/a><time datetime=\"2022-09-22T11:36:13+02:00\" class=\"wp-block-latest-posts__post-date\">22 septembre 2022<\/time><div class=\"wp-block-latest-posts__post-full-content\"><!-- wp:spacer {\"height\":\"34px\"} -->\n<div style=\"height:34px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<!-- \/wp:spacer -->\n\n<!-- wp:buttons -->\n<div class=\"wp-block-buttons\"><!-- wp:button -->\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/dropsu.sorbonne-universite.fr\/s\/cjQAarTZnmxzznL\">Version Mac<\/a><\/div>\n<!-- \/wp:button -->\n\n<!-- wp:button -->\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/dropsu.sorbonne-universite.fr\/s\/wSswtn95JDLB96B\">Version Windows<\/a><\/div>\n<!-- \/wp:button -->\n\n<!-- wp:button -->\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/dropsu.sorbonne-universite.fr\/s\/q9Dp9R67BFG5g2E\" target=\"_blank\" rel=\"noreferrer noopener\">Version Linux (Ubuntu)<\/a><\/div>\n<!-- \/wp:button --><\/div>\n<!-- \/wp:buttons -->\n\n<!-- wp:spacer {\"height\":\"31px\"} -->\n<div style=\"height:31px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<!-- \/wp:spacer -->\n\n<!-- wp:heading {\"level\":3} -->\n<h3>Nouveaut\u00e9s :<\/h3>\n<!-- \/wp:heading -->\n\n<!-- wp:list -->\n<ul><!-- wp:list-item -->\n<li>Aide sur chaque \u00e9l\u00e9ment du contexte, et sur le but<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Glisser-d\u00e9poser (\u00ab\u00a0drag and drop\u00a0\u00bb)<\/li>\n<!-- \/wp:list-item --><\/ul>\n<!-- \/wp:list -->\n\n<!-- wp:image {\"id\":163,\"sizeSlug\":\"full\",\"linkDestination\":\"none\"} -->\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"606\" height=\"368\" src=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2022\/10\/13-aide.png\" alt=\"\" class=\"wp-image-163\" srcset=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2022\/10\/13-aide.png 606w, https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2022\/10\/13-aide-300x182.png 300w\" sizes=\"auto, (max-width: 606px) 100vw, 606px\" \/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:spacer -->\n<div style=\"height:100px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<!-- \/wp:spacer -->\n\n<!-- wp:separator -->\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n<!-- \/wp:separator --><\/div><\/li>\n<li><a class=\"wp-block-latest-posts__post-title\" href=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/2022\/09\/22\/d%e2%88%83%e2%88%80duction-0-2\/\">D\u2203\u2200DUCTION 0.2<\/a><time datetime=\"2022-09-22T11:21:34+02:00\" class=\"wp-block-latest-posts__post-date\">22 septembre 2022<\/time><div class=\"wp-block-latest-posts__post-full-content\"><!-- wp:spacer {\"height\":\"32px\"} -->\n<div style=\"height:32px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<!-- \/wp:spacer -->\n\n<!-- wp:buttons -->\n<div class=\"wp-block-buttons\"><!-- wp:button -->\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link\" href=\"https:\/\/dropsu.sorbonne-universite.fr\/s\/gosfEsndndYL8yp\" target=\"_blank\" rel=\"noreferrer noopener\">Version Mac<\/a><\/div>\n<!-- \/wp:button -->\n\n<!-- wp:button -->\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link\" href=\"https:\/\/dropsu.sorbonne-universite.fr\/s\/X6jL9ka8qzQBi5N\">Version WIndows<\/a><\/div>\n<!-- \/wp:button -->\n\n<!-- wp:button -->\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link\" href=\"https:\/\/dropsu.sorbonne-universite.fr\/s\/XmKgXzk7EyNiDne\">Version Linux (Ubuntu)<\/a><\/div>\n<!-- \/wp:button --><\/div>\n<!-- \/wp:buttons -->\n\n<!-- wp:spacer {\"height\":\"31px\"} -->\n<div style=\"height:31px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<!-- \/wp:spacer -->\n\n<!-- wp:heading {\"level\":3} -->\n<h3>Nouveaut\u00e9s :<\/h3>\n<!-- \/wp:heading -->\n\n<!-- wp:list -->\n<ul><li>Fen\u00eatre donnant un aper\u00e7u global de la preuve<\/li><\/ul>\n<!-- \/wp:list -->\n\n<!-- wp:image {\"id\":133,\"width\":617,\"height\":909,\"sizeSlug\":\"large\",\"linkDestination\":\"none\"} -->\n<figure class=\"wp-block-image size-large is-resized\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2022\/09\/surjective-arbre2-695x1024.png\" alt=\"\" class=\"wp-image-133\" width=\"617\" height=\"909\" srcset=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2022\/09\/surjective-arbre2-695x1024.png 695w, https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2022\/09\/surjective-arbre2-204x300.png 204w, https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2022\/09\/surjective-arbre2.png 718w\" sizes=\"auto, (max-width: 617px) 100vw, 617px\" \/><\/figure>\n<!-- \/wp:image -->\n\n<!-- wp:spacer -->\n<div style=\"height:100px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<!-- \/wp:spacer --><\/div><\/li>\n<\/ul>","protected":false},"excerpt":{"rendered":"<p>L&rsquo;installation recommand\u00e9e utilise maintenant le \u00ab\u00a0paquet Python\u00a0\u00bb, voir cette page. Cette page contient les versions \u00ab\u00a0tout en un\u00a0\u00bb. Pour la source, voir ici. En cas de probl\u00e8me sous Mac, voir ici.<\/p>\n","protected":false},"author":56,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-129","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/pages\/129","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/users\/56"}],"replies":[{"embeddable":true,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/comments?post=129"}],"version-history":[{"count":8,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/pages\/129\/revisions"}],"predecessor-version":[{"id":317,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/pages\/129\/revisions\/317"}],"wp:attachment":[{"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/media?parent=129"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}