diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-16d-Echange-de-Reins.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-16d-Echange-de-Reins.ipynb index b0ead345e6..45559f873f 100644 --- a/MyIA.AI.Notebooks/GameTheory/GameTheory-16d-Echange-de-Reins.ipynb +++ b/MyIA.AI.Notebooks/GameTheory/GameTheory-16d-Echange-de-Reins.ipynb @@ -1305,7 +1305,7 @@ "- **Roth, Sonmez, Unver (2007)** - \"Efficient Kidney Exchange: Coincidence of Wants in a Structured Market\", *American Economic Review* 97(3): 828-851. Article fondateur du kidney exchange formalise.\n", "- **Dickerson, Manlove et al. (2021)** - \"Kidney Exchange and Liver Transplantation\", Chapter in *Algorithms for Optimization and Decision Making*.\n", "- **Hardt, Mendler-Dunner, Paprott, Recht (2023)** - \"Performative Prediction\", ICML. Modele \"reactive market\" qui distingue optimisation d'une seule passe vs simulation performative iterative.\n", - "- **Pattern \"lecture directe des sources\"** - cf notebooks Lean-22c (Descente), Lean-26 (Calibration), Lean-27 (Coherence Finetti), GT-15d (Mobius c.438). Meme strategie : regex balanced sur `theorem|lemma|def|inductive`, signature verbatim, proprete axiomatique verifiee.\n", + "- **Pattern \"lecture directe des sources\"** - cf notebooks Lean-21c (Descente), Lean-24 (Calibration), Lean-25 (Coherence Finetti), GT-15d (Mobius c.438). Meme strategie : regex balanced sur `theorem|lemma|def|inductive`, signature verbatim, proprete axiomatique verifiee.\n", "- **Regle C.1** - pas d'erreur volontaire dans les cellules d'exercice (stub `pass` ou `print(\"Exercice a completer\")`).\n", "- **Regle C.7 (count_code_sorry)** - l'instrument canonique `scripts/lean/count_code_sorry.py --json` (champ `distinct_code_sorry`), JAMAIS `grep -c sorry`. Cf [anti-regression.md](../../.claude/rules/anti-regression.md).\n" ]