chore(catalog): scheduled auto-regenerate (long-lived PR)

MyIA.AI.Notebooks/GameTheory/README.md

@@ -4,9 +4,9 @@
 
 <!-- CATALOG-STATUS
 series: GameTheory
-pedagogical_count: 96
-breakdown: root=88, SocialChoice=8
-maturity: BETA=91, ALPHA=3, DRAFT=2
+pedagogical_count: 98
+breakdown: root=90, SocialChoice=8
+maturity: BETA=92, ALPHA=4, DRAFT=2
 -->
 
 La théorie des jeux est le langage mathématique de la stratégie. Elle modélise les situations où des agents rationnels prennent des décisions dont le résultat dépend des choix des autres : enchères, négociations commerciales, élections, poker, guerre commerciale, allocation de ressources. Cette dualité entre coopération et compétition est omniprésente en économie, en sciences politiques et en informatique (mécanismes de vote, smart contracts, réseaux). Le prix Nobel d'économie a été décerné à des théoriciens des jeux à sept reprises entre 1994 et 2020 — c'est un domaine vivant et influent.

MyIA.AI.Notebooks/README.md

@@ -10,9 +10,9 @@ Le catalogue rassemble **plusieurs centaines de notebooks pédagogiques** répar
 
 <!-- CATALOG-STATUS
 series: ALL
-total: 1125
-breakdown: SymbolicAI=263, GenAI=215, Search=149, QuantConnect=110, GameTheory=96, ML=81, IIT=72, Probas=69, Sudoku=38, RL=25, CaseStudies=6, cross-series=1
-maturity: BETA=993, DRAFT=71, ALPHA=57, TEMPLATE=4
+total: 1130
+breakdown: SymbolicAI=265, GenAI=215, Search=149, QuantConnect=110, GameTheory=98, ML=81, IIT=72, Probas=69, Sudoku=38, RL=26, CaseStudies=6, cross-series=1
+maturity: BETA=998, DRAFT=70, ALPHA=58, TEMPLATE=4
 -->
 
 <sub>*Marqueur auto-régénéré quotidiennement par `.github/workflows/catalog-cron.yml` (file [`COURSE_CATALOG.generated.md`](../COURSE_CATALOG.generated.md) — source de vérité sur les volumes et la maturité). Toute PR qui modifierait ce bloc est signalée par `catalog-drift.yml` (read-only, catalog-pr-hygiene R1).*</sub>

MyIA.AI.Notebooks/RL/README.md

@@ -4,9 +4,9 @@
 
 <!-- CATALOG-STATUS
 series: RL
-pedagogical_count: 25
-breakdown: root=25
-maturity: BETA=24, DRAFT=1
+pedagogical_count: 26
+breakdown: root=26
+maturity: BETA=25, DRAFT=1
 -->
 
 > **Note éditoriale (counts)** : Le marqueur `CATALOG-STATUS` ci-dessus est autoritatif pour le compte agrégé (17 notebooks canoniques). Pour la **décomposition langagière par kernel** (`metadata.kernelspec.language`), ce README reste autoritatif car la granularité kernel n'est pas dans le marqueur agrégé ; elle est documentée ici par lecture directe des kernelspecs au 10/07/2026 :

MyIA.AI.Notebooks/Search/README.md

@@ -4,7 +4,7 @@
 series: Search
 pedagogical_count: 149
 breakdown: Applications=56, Part1-Foundations=40, Part4-Metaheuristics=35, Part2-CSP=18
-maturity: BETA=133, ALPHA=10, DRAFT=6
+maturity: BETA=134, ALPHA=10, DRAFT=5
 -->
 
 [← Notebooks](../README.md) | [↑ ..](../README.md) | [→ SymbolicAI](../SymbolicAI/README.md)

MyIA.AI.Notebooks/SymbolicAI/Lean/README.md

@@ -2,9 +2,9 @@
 
 <!-- CATALOG-STATUS
 series: SymbolicAI-Lean
-pedagogical_count: 49
-breakdown: Lean=49
-maturity: BETA=47, DRAFT=2
+pedagogical_count: 51
+breakdown: Lean=51
+maturity: BETA=49, DRAFT=2
 -->
 
 [← SemanticWeb](../SemanticWeb/README.md) | [↑ SymbolicAI](../README.md) | [Planners →](../Planners/README.md)

MyIA.AI.Notebooks/SymbolicAI/README.md

@@ -4,9 +4,9 @@
 
 <!-- CATALOG-STATUS
 series: SymbolicAI
-pedagogical_count: 263
-breakdown: Lean=49, SMT=46, Tweety=34, SmartContracts=31, Argument_Analysis=28, SemanticWeb=27, Planners=25, SymbolicLearning=22, root=1
-maturity: BETA=253, ALPHA=6, DRAFT=4
+pedagogical_count: 265
+breakdown: Lean=51, SMT=46, Tweety=34, SmartContracts=31, Argument_Analysis=28, SemanticWeb=27, Planners=25, SymbolicLearning=22, root=1
+maturity: BETA=255, ALPHA=6, DRAFT=4
 -->
 
 > **Note sur les comptes.** Le bloc ci-dessus est un marqueur autoritatif : `<!-- CATALOG-STATUS -->` est régénéré quotidiennement par la CI (`.github/workflows/catalog-cron.yml`, 03:37 UTC) sur `main` — pour toute vérification courante du nombre de notebooks et de la maturité, **le catalogue fait foi**. La prose pédagogique ci-dessous mentionne des chiffres précis (ex. « 12 notebooks Python », « 8 jumeaux C# ») qui peuvent dériver localement ; la table « Audit Qualité » (§E) au bas de ce fichier et les READMEs de chaque sous-série ([Tweety](Tweety/README.md), [Lean](Lean/README.md), [SemanticWeb](SemanticWeb/README.md), [Planners](Planners/README.md), [SmartContracts](SmartContracts/README.md), [Argument_Analysis](Argument_Analysis/README.md), [SymbolicLearning](SymbolicLearning/README.md)) sont les sources canoniques pour les détails de chaque sous-série.

docs/archive/reference/HEALTH_DASHBOARD.md

@@ -4,51 +4,51 @@
 > Ce fichier **n'est pas maintenu à la main** : il est dérivé du catalogue (acceptance #4 de #4210).
 > Pour le régénérer : `python scripts/notebook_tools/generate_health_dashboard.py`.
 
-**1125** notebooks référencés au catalogue.
+**1130** notebooks référencés au catalogue.
 
 ## État global
 
 | Statut | Count | % |
 |--------|-------|---|
-| READY | 947 | 84.2% |
-| DEMO | 175 | 15.6% |
+| READY | 953 | 84.3% |
+| DEMO | 174 | 15.4% |
 | BROKEN | 2 | 0.2% |
 
 ## Exigences d'environnement (badges)
 
 | Exigence | Notebooks concernés |
 |----------|---------------------|
-| **local** (exécutable sans GPU/cloud/WSL) | 710 |
-| WSL requis | 76 |
+| **local** (exécutable sans GPU/cloud/WSL) | 712 |
+| WSL requis | 78 |
 | GPU requis | 126 |
 | Cloud requis (QC / GenAI Docker) | 114 |
-| API key requise | 176 |
+| API key requise | 177 |
 
 ## Distribution par série
 
 | Série | READY | DEMO | BROKEN | Total | % READY |
 |-------|-------|------|--------|-------|---------|
 | CaseStudies | 6 | 0 | 0 | 6 | 100% |
-| GameTheory | 95 | 1 | 0 | 96 | 99% |
+| GameTheory | 97 | 1 | 0 | 98 | 99% |
 | GenAI | 101 | 111 | 2 | 215 | 47% |
 | IIT | 71 | 1 | 0 | 72 | 99% |
 | ML | 74 | 7 | 0 | 81 | 91% |
 | Probas | 69 | 0 | 0 | 69 | 100% |
 | QuantConnect | 67 | 43 | 0 | 110 | 61% |
-| RL | 22 | 3 | 0 | 25 | 88% |
+| RL | 23 | 3 | 0 | 26 | 88% |
 | Search | 149 | 0 | 0 | 149 | 100% |
 | Sudoku | 37 | 1 | 0 | 38 | 97% |
-| SymbolicAI | 255 | 8 | 0 | 263 | 97% |
+| SymbolicAI | 258 | 7 | 0 | 265 | 97% |
 | cross-series | 1 | 0 | 0 | 1 | 100% |
 
 ## Kernels
 
 | Kernel | Count |
 |--------|-------|
-| Python 3 | 731 |
+| Python 3 | 733 |
 | .NET (C#) | 259 |
-| Lean 4 (WSL) | 39 |
-| Python 3 (ipykernel) | 33 |
+| Lean 4 (WSL) | 41 |
+| Python 3 (ipykernel) | 34 |
 | Python (coursia-ml-training) | 12 |
 | Python 3 (WSL) | 7 |
 | Python 3 (coursia-ml-training) | 7 |

docs/curriculum/ia-classique.md

@@ -20,9 +20,9 @@ Algorithmes de recherche classique, satisfaction de contraintes (CSP), résoluti
 
 | Métrique | Valeur |
 |----------|--------|
-| Notebooks | 171 |
+| Notebooks | 172 |
 | PRODUCTION | 0 |
-| BETA | 171 |
+| BETA | 172 |
 | ALPHA | 0 |
 
 ## Search/Applications (55 notebooks)
@@ -152,31 +152,32 @@ Algorithmes de recherche classique, satisfaction de contraintes (CSP), résoluti
 | 16 | [CSP-9-Distributed](../../MyIA.AI.Notebooks/Search/Part2-CSP/CSP-9-Distributed-Csharp.ipynb) | BETA | Oui |
 | 17 | [CSP-9-Distributed : CSP Distribués (DisCSP)](../../MyIA.AI.Notebooks/Search/Part2-CSP/CSP-9-Distributed.ipynb) | BETA | Oui |
 
-## Search/Part4-Metaheuristics (21 notebooks)
+## Search/Part4-Metaheuristics (22 notebooks)
 
 | # | Notebook | Maturité | Exécutable |
 |---|----------|----------|------------|
 | 1 | [MGS-1 : Introduction a MetaGeneticSharp et au moteur…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-01-Introduction.ipynb) | BETA | Oui |
-| 2 | [MGS-11 : Synergie d'iles complementaires -- exploration…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-11-IslandSynergy.ipynb) | BETA | Oui |
-| 3 | [MGS-13 — Visualiser les paysages dé-biaisés : pourquoi…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-13-LandscapeDebias.ipynb) | BETA | Oui |
-| 4 | [MGS-14 — Trouver une synergie (et dire quand il n'y en…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-14-IslandSynergyFound.ipynb) | BETA | Oui |
-| 5 | [MGS-15 : Analyse de paysage -- la corrélation…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-15-LandscapeAnalysis.ipynb) | BETA | Oui |
-| 6 | [MGS-16-AlgorithmSelection : Sélectionner le bon…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-16-AlgorithmSelection.ipynb) | BETA | Oui |
-| 7 | [MGS-17 — Contrôle de paramètres (Parameter Control)](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-17-ParameterControl.ipynb) | BETA | Oui |
-| 8 | [MGS-18 — Banc CEC consolide : la combinaison des deux…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-18-CecBanc.ipynb) | BETA | Oui |
-| 9 | [MGS-19 — Recuit simulé décomposé : l'opérateur de…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-19-MetropolisReinsertion.ipynb) | BETA | Oui |
-| 10 | [MGS-20 : Langage de composition pour métaheuristiques](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-20-Langage-de-Composition.ipynb) | BETA | Oui |
-| 11 | [MGS-21 : Représentation contre algorithme — la preuve…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-21-Representation-vs-Algorithme.ipynb) | BETA | Oui |
-| 12 | [MGS-3 : L'Eukaryote -- sous-populations et chromosomes…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-03-Eukaryote.ipynb) | BETA | Oui |
-| 13 | [MGS-4 : Le Modèle Insulaire -- populations structurees…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-04-Islands.ipynb) | BETA | Oui |
-| 14 | [MGS-7 : TSP combinatoire -- la grammaire de composition…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-07-TSP.ipynb) | BETA | Oui |
-| 15 | [MGS-7d : Michalewicz (steep ridges) + Dixon-Price…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-07d-MichalewiczDixonPrice.ipynb) | BETA | Oui |
-| 16 | [MGS-8 : Fitness Landscape Explorer -- voir la surface…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-08-LandscapeExplorer.ipynb) | BETA | Oui |
-| 17 | [MGS-9 - Trouver l'Everest : relief reel et bassins…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-09-EverestRelief.ipynb) | BETA | Oui |
+| 2 | [MGS-3 : L'Eukaryote -- sous-populations et chromosomes…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-03-Eukaryote.ipynb) | BETA | Oui |
+| 3 | [MGS-4 : Le Modèle Insulaire -- populations structurees…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-04-Islands.ipynb) | BETA | Oui |
+| 4 | [MGS-7 : TSP combinatoire -- la grammaire de composition…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-07-TSP.ipynb) | BETA | Oui |
+| 5 | [MGS-7d : Michalewicz (steep ridges) + Dixon-Price…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-07d-MichalewiczDixonPrice.ipynb) | BETA | Oui |
+| 6 | [MGS-8 : Fitness Landscape Explorer -- voir la surface…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-08-LandscapeExplorer.ipynb) | BETA | Oui |
+| 7 | [MGS-9 - Trouver l'Everest : relief reel et bassins…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-09-EverestRelief.ipynb) | BETA | Oui |
+| 8 | [MGS-11 : Synergie d'iles complementaires -- exploration…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-11-IslandSynergy.ipynb) | BETA | Oui |
+| 9 | [MGS-13 — Visualiser les paysages dé-biaisés : pourquoi…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-13-LandscapeDebias.ipynb) | BETA | Oui |
+| 10 | [MGS-14 — Trouver une synergie (et dire quand il n'y en…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-14-IslandSynergyFound.ipynb) | BETA | Oui |
+| 11 | [MGS-15 : Analyse de paysage -- la corrélation…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-15-LandscapeAnalysis.ipynb) | BETA | Oui |
+| 12 | [MGS-16-AlgorithmSelection : Sélectionner le bon…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-16-AlgorithmSelection.ipynb) | BETA | Oui |
+| 13 | [MGS-17 — Contrôle de paramètres (Parameter Control)](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-17-ParameterControl.ipynb) | BETA | Oui |
+| 14 | [MGS-18 — Banc CEC consolide : la combinaison des deux…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-18-CecBanc.ipynb) | BETA | Oui |
+| 15 | [MGS-19 — Recuit simulé décomposé : l'opérateur de…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-19-MetropolisReinsertion.ipynb) | BETA | Oui |
+| 16 | [MGS-20 : Langage de composition pour métaheuristiques](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-20-Langage-de-Composition.ipynb) | BETA | Oui |
+| 17 | [MGS-21 : Représentation contre algorithme — la preuve…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-21-Representation-vs-Algorithme.ipynb) | BETA | Oui |
 | 18 | [MGS-22 : MGS contre mealpy — le bench croisé lib-vs-lib…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-vs-mealpy/MGS-22-MGS-vs-Mealpy.ipynb) | BETA | Oui |
 | 19 | [MGS-23 : DifferentialEvolution MGS contre mealpy —…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-vs-mealpy/MGS-23-DifferentialEvolution-vs-Mealpy.ipynb) | BETA | Oui |
 | 20 | [MGS-25 : WhaleOptimisation MGS contre mealpy — le WOA…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-vs-mealpy/MGS-25-WhaleOptimisation-vs-Mealpy.ipynb) | BETA | Oui |
 | 21 | [MGS-29 : GA MGS compose "Default" contre BaseGA mealpy…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-vs-mealpy/MGS-29-GA-vs-Mealpy.ipynb) | BETA | Oui |
+| 22 | [MGS-30 : Scatter Search MGS contre son ombre — la…](../../MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-vs-mealpy/MGS-30-ScatterSearch-Decomposition.ipynb) | BETA | Oui |
 
 ## Sudoku (38 notebooks)
 

docs/curriculum/ia-symbolique.md

@@ -20,9 +20,9 @@ Preuves formelles en Lean 4, logique probabiliste avec Tweety, web sémantique,
 
 | Métrique | Valeur |
 |----------|--------|
-| Notebooks | 259 |
+| Notebooks | 261 |
 | PRODUCTION | 0 |
-| BETA | 253 |
+| BETA | 255 |
 | ALPHA | 6 |
 
 ## SymbolicAI (1 notebooks)
@@ -63,7 +63,7 @@ Preuves formelles en Lean 4, logique probabiliste avec Tweety, web sémantique,
 | 26 | [Argument_Analysis — Argumentation basée sur les valeurs…](../../MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argument_Analysis_Value_Based_AF.ipynb) | BETA | Oui |
 | 27 | [I2 - Génération de contre-arguments par raisonnement…](../../MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/groupe-I2-contre-arguments-aspic/I2_Contre_arguments_ASPIC.ipynb) | BETA | Oui |
 
-## SymbolicAI/Lean (47 notebooks)
+## SymbolicAI/Lean (49 notebooks)
 
 | # | Notebook | Maturité | Exécutable |
 |---|----------|----------|------------|
@@ -107,13 +107,15 @@ Preuves formelles en Lean 4, logique probabiliste avec Tweety, web sémantique,
 | 38 | [Lean-29 : coloration d'arêtes et conjecture de Tutte —…](../../MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-29-EdgeColoring-Tutte-Companion.ipynb) | BETA | Non |
 | 39 | [Lean 3 - Propositions et Preuves](../../MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-3-Propositions-Proofs.ipynb) | BETA | Non |
 | 40 | [Lean-30 : Le problème de Hopf sur S⁶ — digestion d'une…](../../MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-30-Complex-Structure-S6.ipynb) | BETA | Non |
-| 41 | [Lean 4 - Quantificateurs et Logique du Premier Ordre](../../MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-4-Quantifiers.ipynb) | BETA | Non |
-| 42 | [Lean 5 - Mode Tactique](../../MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-5-Tactics.ipynb) | BETA | Non |
-| 43 | [Lean 6 - Mathlib4 : La Bibliotheque Mathematique](../../MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-6-Mathlib-Essentials.ipynb) | BETA | Non |
-| 44 | [Lean 7 - Integration des LLMs pour l'Assistance aux…](../../MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-7-LLM-Integration.ipynb) | BETA | Non |
-| 45 | [Lean 7b - Exemples Progressifs et Benchmarks](../../MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-7b-Examples.ipynb) | BETA | Non |
-| 46 | [Lean 8 - Agents Autonomes pour Demonstration de…](../../MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-8-Agentic-Proving.ipynb) | BETA | Non |
-| 47 | [Lean 9 : Multi-Agents avec Semantic Kernel](../../MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-9-SK-Multi-Agents.ipynb) | BETA | Non |
+| 41 | [Lean-31 : les opérateurs de Hecke $T_p$ et $U_p$ —…](../../MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-31-Hecke-Operators-Native.ipynb) | BETA | Non |
+| 42 | [Lean-32 : groupes formels multivariés — compagnon natif](../../MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-32-FormalGroups-Native.ipynb) | BETA | Non |
+| 43 | [Lean 4 - Quantificateurs et Logique du Premier Ordre](../../MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-4-Quantifiers.ipynb) | BETA | Non |
+| 44 | [Lean 5 - Mode Tactique](../../MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-5-Tactics.ipynb) | BETA | Non |
+| 45 | [Lean 6 - Mathlib4 : La Bibliotheque Mathematique](../../MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-6-Mathlib-Essentials.ipynb) | BETA | Non |
+| 46 | [Lean 7 - Integration des LLMs pour l'Assistance aux…](../../MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-7-LLM-Integration.ipynb) | BETA | Non |
+| 47 | [Lean 7b - Exemples Progressifs et Benchmarks](../../MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-7b-Examples.ipynb) | BETA | Non |
+| 48 | [Lean 8 - Agents Autonomes pour Demonstration de…](../../MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-8-Agentic-Proving.ipynb) | BETA | Non |
+| 49 | [Lean 9 : Multi-Agents avec Semantic Kernel](../../MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-9-SK-Multi-Agents.ipynb) | BETA | Non |
 
 ## SymbolicAI/Planners (25 notebooks)
 
@@ -239,7 +241,7 @@ Preuves formelles en Lean 4, logique probabiliste avec Tweety, web sémantique,
 | 6 | [SC-4-Functions-State - Fonctions et État](../../MyIA.AI.Notebooks/SymbolicAI/SmartContracts/01-Solidity-Foundation/SC-4-Functions-State.ipynb) | BETA | Oui |
 | 7 | [SC-5-Inheritance - Heritage et Interfaces](../../MyIA.AI.Notebooks/SymbolicAI/SmartContracts/01-Solidity-Foundation/SC-5-Inheritance.ipynb) | BETA | Oui |
 | 8 | [SC-6-Errors-Events - Erreurs et Événements](../../MyIA.AI.Notebooks/SymbolicAI/SmartContracts/01-Solidity-Foundation/SC-6-Errors-Events.ipynb) | BETA | Oui |
-| 9 | [SC-10-Account-Abstraction - ERC-4337](../../MyIA.AI.Notebooks/SymbolicAI/SmartContracts/02-Solidity-Advanced/SC-10-Account-Abstraction.ipynb) | BETA | Oui |
+| 9 | [SC-10-Account-Abstraction - ERC-4337 v0.9](../../MyIA.AI.Notebooks/SymbolicAI/SmartContracts/02-Solidity-Advanced/SC-10-Account-Abstraction.ipynb) | BETA | Oui |
 | 10 | [SC-11-LLM-Assisted - Développement Smart Contracts…](../../MyIA.AI.Notebooks/SymbolicAI/SmartContracts/02-Solidity-Advanced/SC-11-LLM-Assisted.ipynb) | BETA | Non |
 | 11 | [SC-7-Token-Standards - Standards de Tokens](../../MyIA.AI.Notebooks/SymbolicAI/SmartContracts/02-Solidity-Advanced/SC-7-Token-Standards.ipynb) | BETA | Oui |
 | 12 | [SC-7b : ERC-20 + Lean — vérification formelle de…](../../MyIA.AI.Notebooks/SymbolicAI/SmartContracts/02-Solidity-Advanced/SC-7b-ERC20-Lean-Verification-Companion.ipynb) | BETA | Non |