myia-ai-01 · Oct 9, 2026 · Oct 9, 2026 · Oct 9, 2026
diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-02-NormalForm-Part2-Python.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-02-NormalForm-Part2-Python.ipynb
@@ -11,7 +11,7 @@
     "\n",
     "**Suite de la [tranche 1](GameTheory-02-NormalForm-Python.ipynb)** : équilibres de Nash purs, IESDS, mixte 2x2. Cette **tranche 2** résout le **gap signalé** — un jeu comme Pierre-Feuille-Ciseaux (3x3) n'a **ni équilibre pur** ni formule close applicable : il faut l'**énumération des supports** (*support enumeration*), l'algorithme exact que `nashpy` exécute sous le capot.\n",
     "\n",
-    "## Complémentarité (Python from-scratch ↔ nashpy ↔ twin .NET), pas workaround (#3801)\n",
+    "## Complémentarité (Python from-scratch ↔ nashpy ↔ twin .NET)\n",
     "\n",
     "| Twin | Outil | Valeur pédagogique |\n",
     "|------|-------|--------------------|\n",

diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-03d-Le-Joueur-LLM-Python.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-03d-Le-Joueur-LLM-Python.ipynb
@@ -18,9 +18,9 @@
     "\n",
     "**Navigation** : [GameTheory-3](GameTheory-03-Topology2x2-Python.ipynb) (chambres Robinson-Goforth) · [GameTheory-03d-Le-Joueur-LLM-Python](GameTheory-03d-Le-Joueur-LLM-Python.ipynb) · [GameTheory-3g](GameTheory-03g-Deux-Especes-de-Fleches-Python.ipynb) (morphisme fini)\n",
     "\n",
-    "**Grain** : `#12254` — DEEP/notebook-python sur le papier *Playing Repeated Games with Large Language Models* (Nature Human Behaviour, [s41562-025-02172-y](https://www.nature.com/articles/s41562-025-02172-y)).\n",
+    "**Source** : le papier *Playing Repeated Games with Large Language Models* (Nature Human Behaviour, [s41562-025-02172-y](https://www.nature.com/articles/s41562-025-02172-y)).\n",
     "\n",
-    "**Sources lues firsthand** : page article (2026-08-22) ; grammaire R-G des chambres/murs réutilisée de `GameTheory-3` (cellule 5 `OrdinalGame`).\n",
+    "**Sources lues firsthand** : page article ; grammaire R-G des chambres/murs réutilisée de `GameTheory-3` (cellule 5 `OrdinalGame`).\n",
     "\n",
     "**Kernel** : `python3` — pas d'appels réseau non gardés.\n",
     "\n",
@@ -1560,4 +1560,4 @@
  },
  "nbformat": 4,
  "nbformat_minor": 5
-}
+}
diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-03e-Plan-de-deformation-Python.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-03e-Plan-de-deformation-Python.ipynb
@@ -37,7 +37,7 @@
     "- La correspondance `convexe -> Stag-Hunt` / `concave -> Snowdrift` est **notre lecture** qualitative du papier, etablie dans E2.\n",
     "- L'analogie `Robinson-Goforth 2x2 <-> plan de deformation N-personnes` est **notre construction**, pas un resultat de la source. Elle est utile pedagogiquement, mais doit rester explicitee comme telle.\n",
     "\n",
-    "Ces trois points sont **non negociables** : confondre une dette de derivation avec un resultat acquis transforme une revue honnete en theatre anti-Hermes."
+    "Ces trois points sont **non negociables** : confondre une dette de derivation avec un resultat acquis transforme une revue honnete en theatre."
    ]
   },
   {
@@ -1197,4 +1197,4 @@
  },
  "nbformat": 4,
  "nbformat_minor": 5
-}
+}
diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-03f-Meta-Actions-Tarifees-Python.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-03f-Meta-Actions-Tarifees-Python.ipynb
@@ -18,7 +18,7 @@
     "\n",
     "[← GameTheory-03-Topology2x2-Python](GameTheory-03-Topology2x2-Python.ipynb) | [GameTheory-03c-Chambres-et-Murs-Python →](GameTheory-03c-Chambres-et-Murs-Python.ipynb) | [↑ README GameTheory](README.md)\n",
     "\n",
-    "**Versant D4 du chantier #12207.** Les notebooks [GT-3](GameTheory-03-Topology2x2-Python.ipynb), [GT-3b](GameTheory-03c-Chambres-et-Murs-Python.ipynb) et [GT-3h](GameTheory-03g-Deux-Especes-de-Fleches-Python.ipynb) ont fait de l'espace des jeux 2x2 ordinaux un **univers fini manipulable** : 576 chambres strictes, six swaps generateurs, des murs ou vivent les egalites. Ce notebook monte l'echelle d'un cran : les swaps y deviennent des **actions que l'agent paie**.\n",
+    "Les notebooks [GT-3](GameTheory-03-Topology2x2-Python.ipynb), [GT-3b](GameTheory-03c-Chambres-et-Murs-Python.ipynb) et [GT-3h](GameTheory-03g-Deux-Especes-de-Fleches-Python.ipynb) ont fait de l'espace des jeux 2x2 ordinaux un **univers fini manipulable** : 576 chambres strictes, six swaps generateurs, des murs ou vivent les egalites. Ce notebook monte l'echelle d'un cran : les swaps y deviennent des **actions que l'agent paie**.\n",
     "\n",
     "## Plan\n",
     "\n",
@@ -30,7 +30,7 @@
     "\n",
     "La strate 6 de la theorie des jeux dit ce qu'un agent fait *dans* des regles donnees. La strate 7 demande ce qui se passe quand **modifier les regles est lui-meme une action** -- avec un cout, donc un arbitrage, donc un equilibre au niveau superieur. Rendu operationnel sur un univers fini, le franchissement devient mesurable : *a quel prix un agent accepte-t-il de deplacer son propre jeu, et que devient cet arbitrage quand les deux joueurs le jouent simultanement ?*\n",
     "\n",
-    "> **Fusion (2026-09-19, #16231 chantier C)** : ce notebook absorbe l'ex-GameTheory-03f-Parcours-Complet — la partie « parcours complet » (sections 4-8) ci-dessous. L'arc méta-actions (marches 1-3) puis l'intégration (chemin, murs, coûts) se lisent d'un seul tenant."
+    "> **Fusion** : ce notebook absorbe l'ex-GameTheory-03f-Parcours-Complet — la partie « parcours complet » (sections 4-8) ci-dessous. L'arc méta-actions (marches 1-3) puis l'intégration (chemin, murs, coûts) se lisent d'un seul tenant."
    ]
   },
   {
@@ -2411,4 +2411,4 @@
  },
  "nbformat": 4,
  "nbformat_minor": 5
-}
+}
diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-06d-Sympathie-vs-Engagement-Python.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-06d-Sympathie-vs-Engagement-Python.ipynb
@@ -26,7 +26,7 @@
     "\n",
     "Une coopération qui **répond** aux gains d'autrui est compatible avec la sympathie et incompatible avec l'engagement pur. Une coopération **plate** est compatible avec l'engagement et incompatible avec la sympathie. La pente transforme `alpha` d'un paramètre libre en une **quantité mesurée**.\n",
     "\n",
-    "*Positionnement* : GT-06c retire la punition et établit que la coopération résiduelle n'est pas folk ; ce notebook ne refait pas ce travail — il identifie **quel mécanisme** porte ce résidu. Réfs #12683, #13042."
+    "*Positionnement* : GT-06c retire la punition et établit que la coopération résiduelle n'est pas folk ; ce notebook ne refait pas ce travail — il identifie **quel mécanisme** porte ce résidu."
    ]
   },
   {

diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-15b-Lean-CooperativeGames-Lean.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-15b-Lean-CooperativeGames-Lean.ipynb
@@ -95,7 +95,7 @@
     "\n",
     "***\n",
     "\n",
-    "## Statut du port (post-#12494)\n",
+    "## Statut du port\n",
     "\n",
     "Ce notebook reste **Lean 4 pur, sans Mathlib** (la cellule 2 le precise : `abbrev Real := Float`, `Coalition := List N`). Les enonces marques `sorry` (9 au total : cellules 16, 21 x2, 25, 27 x2, 29 x2, 31) ne sont pas demontrer ici -- ils designent les preuves qui vivent dans le **port Lake** `game_theory_lean/CooperativeGames/` (Shapley.lean, Basic.lean, ConeKernel.lean). Voir les commentaires `-- Renvoi:` en tete de chaque cellule `sorry` pour le chemin exact.\n",
     "\n",
@@ -108,7 +108,7 @@
     "| `game_theory_lean/CooperativeGames/ConeKernel.lean` | 0 |\n",
     "| **Ce notebook (`15b`)** | **9** (cellules 16, 21, 25, 27, 29, 31, tous avec `-- Renvoi:`) |\n",
     "\n",
-    "Le cliquet anti-regression `scripts/lean/count_code_sorry.py` mesure le lake, pas les `.ipynb` -- il est structurellement aveugle a cette surface (cf. issue #12494, point 6).\n"
+    "Le cliquet anti-regression `scripts/lean/count_code_sorry.py` mesure le lake, pas les `.ipynb` -- il est structurellement aveugle a cette surface.\n"
    ]
   },
   {

diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-15f-Shapley-Groupes-Python.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-15f-Shapley-Groupes-Python.ipynb
@@ -20,8 +20,6 @@
     "\n",
     "**Kernel** : Python 3\n",
     "\n",
-    "**Issue source** : #17531 (distillation de l'Epic #14468)\n",
-    "\n",
     "**Article distillé** : Flores R., Molina E., Tejada J. (2019). *Evaluating groups with the generalized Shapley value*. 4OR 17(2):141-172. doi:[10.1007/s10288-018-0380-8](https://doi.org/10.1007/s10288-018-0380-8)\n",
     "\n",
     "***\n",
@@ -1724,4 +1722,4 @@
  },
  "nbformat": 4,
  "nbformat_minor": 5
-}
+}
diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-16e-LLM-Players-Othman-Sandholm-Python.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-16e-LLM-Players-Othman-Sandholm-Python.ipynb
@@ -10,15 +10,15 @@
     "Ce side-car branche de **vrais LLM hétérogènes** comme joueurs sur un mécanisme fini,\n",
     "exécutable et vérifiable : la construction de la Proposition 6 d'Othman & Sandholm\n",
     "(SAGT 2009, *Better with Byzantine*), livrée dans `GameTheory-16-MechanismDesign-Python.ipynb` §4.6\n",
-    "et formalisée en Lean (#12343). Les agents scriptés (équilibre, byzantin, aléatoire)\n",
+    "et formalisée en Lean. Les agents scriptés (équilibre, byzantin, aléatoire)\n",
     "servent de contrôles ; chaque action est rejouée par l'oracle déterministe de\n",
     "bien-être social du mécanisme.\n",
     "\n",
     "**Déconflit** : `GameTheory-03d-Le-Joueur-LLM-Python.ipynb` fait déjà jouer des LLM sur un jeu 2×2\n",
     "en forme normale ; ici l'objet change de classe — un **mécanisme** (oracle de welfare,\n",
     "action dominante boxing) et non un jeu sous forme normale. 16/16b/16c/16d restent\n",
     "propriétaires du mechanism design ; la formalisation Lean (§1.1) est **citée et distinguée**\n",
-    "des résultats empiriques de ce pilote. See #15399. See #15397. See #15062. See #13571.\n",
+    "des résultats empiriques de ce pilote.\n",
     "\n",
     "**Protocole** : le pré-enregistrement (§0) est gelé **avant le premier appel LLM** ;\n",
     "les verdicts H0/H1 (§8) lisent leurs seuils dans le gel, pas dans les résultats."

diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-17f-Market-to-Balance-Sheet-Python.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-17f-Market-to-Balance-Sheet-Python.ipynb
@@ -37,9 +37,8 @@
     "de 17b (couverture $\\alpha$, prime $\\beta$) est l'objet unique lu deux fois —\n",
     "comme échange d'utilité espérée côté marché, comme flux de primes et de\n",
     "sinistres côté bilan. Chaque section croise ainsi un modèle de 17b avec une\n",
-    "tranche de la série actuarielle *DecisionTheory* (EPIC #12904, tranches T1\n",
-    "prime, T3 crédibilité, T4 ruine, T5 valeur d'information — carnets DecPyMC\n",
-    "en cours d'intégration, référencés par concept).\n",
+    "tranche de la série actuarielle *DecisionTheory* (prime, crédibilité, ruine,\n",
+    "valeur d'information — carnets DecPyMC référencés par concept).\n",
     "\n",
     "**Prérequis** : 17b (contrats, types, menus) ; notions de Poisson et\n",
     "d'espérance conditionnelle."

diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-20c-Chemin-Minimal-3x2-Ordinal-Python.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-20c-Chemin-Minimal-3x2-Ordinal-Python.ipynb
@@ -16,7 +16,7 @@
    "source": [
     "# GameTheory 20c : Le chemin minimal sur un second substrat — jeux ordinaux 3×2, murs traversables et raccourcis\n",
     "\n",
-    "> Opération 13 « Traverser un mur » de l'EPIC [#12204](https://github.com/jsboige/CoursIA/issues/12204) (Chantier 1 — la table des opérations). **Seconde attestation, second substrat** : la première ([GameTheory-20](GameTheory-20-Chemin-Minimal-Robinson-Goforth-Python.ipynb) et [20b](GameTheory-20b-Chemin-Minimal-Temoins-Impossibilite-Python.ipynb), ex-24/24b) vivait sur les jeux 2×2 ordinaux de Robinson-Goforth ; celle-ci monte au substrat **3×2 ordinal** — chaque joueur range 6 cases, l'univers des chambres strictes passe de 24×24 = 576 à 720×720 = 518 400 jeux.\n",
+    "> **Seconde attestation, second substrat** : la première ([GameTheory-20](GameTheory-20-Chemin-Minimal-Robinson-Goforth-Python.ipynb) et [20b](GameTheory-20b-Chemin-Minimal-Temoins-Impossibilite-Python.ipynb), ex-24/24b) vivait sur les jeux 2×2 ordinaux de Robinson-Goforth ; celle-ci monte au substrat **3×2 ordinal** — chaque joueur range 6 cases, l'univers des chambres strictes passe de 24×24 = 576 à 720×720 = 518 400 jeux.\n",
     "\n",
     "**La question falsifiable que ce notebook pose.** Sur 2×2, GT-20 a mesuré que traverser les murs (passer par des ex æquo) ne raccourcit **jamais** un chemin minimal entre chambres : 0 raccourci sur 576 paires. Ce verdict survive-t-il au changement de substrat ? La réponse mesurée ici est **non** : sur 3×2, 77 760 paires sur 518 400 (**15,0 %**) raccourcissent en traversant les murs, et le diamètre par côté se contracte de 15 à 10. La stratification qui ne comprimait pas la métrique à 2×2 **devient une compression métrique** à 3×2.\n",
     "\n",
@@ -1312,4 +1312,4 @@
  },
  "nbformat": 4,
  "nbformat_minor": 5
-}
+}
diff --git a/...etheory-2-normalform-part-2-support-enumeration/0011-2026-10-09-myia-po-2025-CoursIA.yaml b/...etheory-2-normalform-part-2-support-enumeration/0011-2026-10-09-myia-po-2025-CoursIA.yaml
@@ -0,0 +1,6 @@
+date: '2026-10-09'
+by: myia-po-2025:CoursIA
+python_sha: b0c4ac24906a78ffa9882d304b46c80eb818a3cd
+csharp_sha: 4ba2f68e2e1999e393b6c372ef610d27e2ef6054
+content_python_sha: 2edb2b02735c574238f7b04620262df31666268e6ae3307570e59dad182fba8a
+content_csharp_sha: a9f5926a7d07378147e8addf4b56f2fdc73f3daf5920322d39782b992ef87089
-Original file line number
+Diff line change
@@ Expand Up / @@ -26,7 +26,7 @@ @@
         "\n",
         "Une coopération qui **répond** aux gains d'autrui est compatible avec la sympathie et incompatible avec l'engagement pur. Une coopération **plate** est compatible avec l'engagement et incompatible avec la sympathie. La pente transforme `alpha` d'un paramètre libre en une **quantité mesurée**.\n",
         "\n",
-        "*Positionnement* : GT-06c retire la punition et établit que la coopération résiduelle n'est pas folk ; ce notebook ne refait pas ce travail — il identifie **quel mécanisme** porte ce résidu. Réfs #12683, #13042."
+        "*Positionnement* : GT-06c retire la punition et établit que la coopération résiduelle n'est pas folk ; ce notebook ne refait pas ce travail — il identifie **quel mécanisme** porte ce résidu."
        ]
       },
       {
@@ Expand Down @@