diff --git a/MyIA.AI.Notebooks/SymbolicAI/Lean/scripts/_archive/run_lean9_demos.py b/MyIA.AI.Notebooks/SymbolicAI/Lean/scripts/_archive/run_lean9_demos.py
index b98cc12ad7..9f94b251ea 100644
--- a/MyIA.AI.Notebooks/SymbolicAI/Lean/scripts/_archive/run_lean9_demos.py
+++ b/MyIA.AI.Notebooks/SymbolicAI/Lean/scripts/_archive/run_lean9_demos.py
@@ -506,10 +506,6 @@ def prove_with_multi_agents(
         "complexity": "Avancee - plusieurs rewrites necessaires",
         "strategy": "rw [Nat.add_assoc, Nat.add_comm b c, ...] OU omega",
         "trap": "Un seul rewrite ne suffit pas, strategie multi-etapes"
-    }
-],
-        "complexity": "Triviale - une tactique suffit",
-        "strategy": "rfl"
     },
     {
         "name": "DEMO_2_SUCCESSOR",