diff --git a/COURSE_CATALOG.generated.json b/COURSE_CATALOG.generated.json
index 0f992ffde..a7f35d992 100644
--- a/COURSE_CATALOG.generated.json
+++ b/COURSE_CATALOG.generated.json
@@ -105,9 +105,9 @@
     "maturity": "PRODUCTION",
     "duree_estimee": "45min",
     "owner_logique": "po-2024",
-    "last_validation": "2026-05-25",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1562, #1564",
+    "issue_pr_associee": "#1995",
     "cells_total": 66,
     "cells_code": 20,
     "cells_markdown": 46,
@@ -225,9 +225,9 @@
     "maturity": "BETA",
     "duree_estimee": "30min",
     "owner_logique": "po-2024",
-    "last_validation": "2026-05-17",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1205",
+    "issue_pr_associee": "#1995",
     "cells_total": 34,
     "cells_code": 11,
     "cells_markdown": 23,
@@ -273,9 +273,9 @@
     "maturity": "PRODUCTION",
     "duree_estimee": "45min",
     "owner_logique": "po-2024",
-    "last_validation": "2026-05-30",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1851",
+    "issue_pr_associee": "#1985",
     "cells_total": 45,
     "cells_code": 17,
     "cells_markdown": 28,
@@ -297,9 +297,9 @@
     "maturity": "PRODUCTION",
     "duree_estimee": "30min",
     "owner_logique": "po-2024",
-    "last_validation": "2026-05-30",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1895",
+    "issue_pr_associee": "#1985",
     "cells_total": 29,
     "cells_code": 13,
     "cells_markdown": 16,
@@ -321,9 +321,9 @@
     "maturity": "PRODUCTION",
     "duree_estimee": "30min",
     "owner_logique": "po-2024",
-    "last_validation": "2026-05-26",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1562, #1570",
+    "issue_pr_associee": "#1985",
     "cells_total": 35,
     "cells_code": 11,
     "cells_markdown": 24,
@@ -393,9 +393,9 @@
     "maturity": "PRODUCTION",
     "duree_estimee": "45min",
     "owner_logique": "po-2024",
-    "last_validation": "2026-05-21",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#622, #1389",
+    "issue_pr_associee": "#1985",
     "cells_total": 40,
     "cells_code": 18,
     "cells_markdown": 22,
@@ -465,9 +465,9 @@
     "maturity": "PRODUCTION",
     "duree_estimee": "30min",
     "owner_logique": "po-2024",
-    "last_validation": "2026-05-30",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1854",
+    "issue_pr_associee": "#1985",
     "cells_total": 32,
     "cells_code": 14,
     "cells_markdown": 18,
@@ -489,9 +489,9 @@
     "maturity": "ALPHA",
     "duree_estimee": "30min",
     "owner_logique": "po-2024",
-    "last_validation": "2026-05-30",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1895",
+    "issue_pr_associee": "#1985",
     "cells_total": 37,
     "cells_code": 14,
     "cells_markdown": 23,
@@ -609,9 +609,9 @@
     "maturity": "PRODUCTION",
     "duree_estimee": "30min",
     "owner_logique": "po-2024",
-    "last_validation": "2026-05-26",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1562, #1570",
+    "issue_pr_associee": "#1995",
     "cells_total": 39,
     "cells_code": 12,
     "cells_markdown": 27,
@@ -2625,9 +2625,9 @@
     "maturity": "PRODUCTION",
     "duree_estimee": "30min",
     "owner_logique": "po-2025",
-    "last_validation": "",
-    "last_validator": "",
-    "issue_pr_associee": "",
+    "last_validation": "2026-05-23",
+    "last_validator": "jsboige@gmail.com",
+    "issue_pr_associee": "#1495",
     "cells_total": 20,
     "cells_code": 9,
     "cells_markdown": 11,
@@ -5405,13 +5405,13 @@
     "serie": "QuantConnect",
     "sous_serie": "projects",
     "kernel": "Python 3",
-    "status": "BROKEN",
+    "status": "READY",
     "maturity": "BETA",
     "duree_estimee": "45min",
     "owner_logique": "po-2026",
-    "last_validation": "2026-05-12",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#977",
+    "issue_pr_associee": "#1916, #1993",
     "cells_total": 37,
     "cells_code": 18,
     "cells_markdown": 19,
@@ -7929,9 +7929,9 @@
     "maturity": "PRODUCTION",
     "duree_estimee": "30min",
     "owner_logique": "po-2025",
-    "last_validation": "2026-05-25",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1562, #1565",
+    "issue_pr_associee": "#1990",
     "cells_total": 23,
     "cells_code": 10,
     "cells_markdown": 13,
@@ -8171,7 +8171,7 @@
     "owner_logique": "po-2025",
     "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1980",
+    "issue_pr_associee": "#1990",
     "cells_total": 50,
     "cells_code": 22,
     "cells_markdown": 28,
@@ -8337,9 +8337,9 @@
     "maturity": "BETA",
     "duree_estimee": "45min",
     "owner_logique": "po-2025",
-    "last_validation": "2026-05-30",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1875",
+    "issue_pr_associee": "#1990",
     "cells_total": 39,
     "cells_code": 18,
     "cells_markdown": 21,
@@ -8361,9 +8361,9 @@
     "maturity": "PRODUCTION",
     "duree_estimee": "45min",
     "owner_logique": "po-2025",
-    "last_validation": "",
-    "last_validator": "",
-    "issue_pr_associee": "",
+    "last_validation": "2026-05-31",
+    "last_validator": "jsboige@gmail.com",
+    "issue_pr_associee": "#1909",
     "cells_total": 41,
     "cells_code": 17,
     "cells_markdown": 24,
@@ -8435,7 +8435,7 @@
     "owner_logique": "po-2025",
     "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1980",
+    "issue_pr_associee": "#1990",
     "cells_total": 85,
     "cells_code": 21,
     "cells_markdown": 64,
@@ -8459,7 +8459,7 @@
     "owner_logique": "po-2025",
     "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1980",
+    "issue_pr_associee": "#1990",
     "cells_total": 45,
     "cells_code": 17,
     "cells_markdown": 28,
@@ -8627,7 +8627,7 @@
     "owner_logique": "po-2025",
     "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1980",
+    "issue_pr_associee": "#1990",
     "cells_total": 52,
     "cells_code": 17,
     "cells_markdown": 35,
@@ -8817,9 +8817,9 @@
     "maturity": "PRODUCTION",
     "duree_estimee": "1h",
     "owner_logique": "po-2025",
-    "last_validation": "2026-05-30",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1871",
+    "issue_pr_associee": "#1990",
     "cells_total": 53,
     "cells_code": 20,
     "cells_markdown": 33,
@@ -8841,9 +8841,9 @@
     "maturity": "PRODUCTION",
     "duree_estimee": "45min",
     "owner_logique": "po-2025",
-    "last_validation": "2026-05-29",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1835",
+    "issue_pr_associee": "#1990",
     "cells_total": 42,
     "cells_code": 17,
     "cells_markdown": 25,
@@ -8865,9 +8865,9 @@
     "maturity": "PRODUCTION",
     "duree_estimee": "45min",
     "owner_logique": "po-2025",
-    "last_validation": "2026-05-29",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1769",
+    "issue_pr_associee": "#1990",
     "cells_total": 47,
     "cells_code": 19,
     "cells_markdown": 28,
@@ -9441,9 +9441,9 @@
     "maturity": "PRODUCTION",
     "duree_estimee": "45min",
     "owner_logique": "po-2023",
-    "last_validation": "2026-05-17",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1205, #1221",
+    "issue_pr_associee": "#1997",
     "cells_total": 35,
     "cells_code": 15,
     "cells_markdown": 20,
@@ -9873,9 +9873,9 @@
     "maturity": "PRODUCTION",
     "duree_estimee": "45min",
     "owner_logique": "po-2024",
-    "last_validation": "2026-05-31",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1946",
+    "issue_pr_associee": "#1946, #1958",
     "cells_total": 73,
     "cells_code": 26,
     "cells_markdown": 47,
@@ -9993,9 +9993,9 @@
     "maturity": "PRODUCTION",
     "duree_estimee": "30min",
     "owner_logique": "po-2024",
-    "last_validation": "2026-05-30",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1881",
+    "issue_pr_associee": "#1647, #2008",
     "cells_total": 26,
     "cells_code": 8,
     "cells_markdown": 18,
@@ -10157,18 +10157,18 @@
     "serie": "SymbolicAI",
     "sous_serie": "Lean",
     "kernel": "Python 3 (WSL)",
-    "status": "DEMO",
-    "maturity": "BETA",
+    "status": "READY",
+    "maturity": "PRODUCTION",
     "duree_estimee": "45min",
     "owner_logique": "po-2024",
-    "last_validation": "2026-05-30",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1881",
+    "issue_pr_associee": "#2001",
     "cells_total": 37,
     "cells_code": 17,
     "cells_markdown": 20,
-    "cells_with_outputs": 13,
-    "cells_without_outputs": 1,
+    "cells_with_outputs": 14,
+    "cells_without_outputs": 0,
     "requires_api": true,
     "requires_gpu": false,
     "requires_cloud": false,
@@ -10185,9 +10185,9 @@
     "maturity": "PRODUCTION",
     "duree_estimee": "30min",
     "owner_logique": "po-2024",
-    "last_validation": "2026-05-31",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1946",
+    "issue_pr_associee": "#1946, #1958",
     "cells_total": 38,
     "cells_code": 10,
     "cells_markdown": 28,
@@ -11409,9 +11409,9 @@
     "maturity": "PRODUCTION",
     "duree_estimee": "30min",
     "owner_logique": "po-2024",
-    "last_validation": "2026-05-30",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1887",
+    "issue_pr_associee": "#1984",
     "cells_total": 35,
     "cells_code": 10,
     "cells_markdown": 25,
@@ -11961,13 +11961,13 @@
     "maturity": "PRODUCTION",
     "duree_estimee": "45min",
     "owner_logique": "po-2024",
-    "last_validation": "2026-05-29",
+    "last_validation": "2026-06-01",
     "last_validator": "jsboige@gmail.com",
-    "issue_pr_associee": "#1786",
+    "issue_pr_associee": "#1946",
     "cells_total": 59,
     "cells_code": 19,
     "cells_markdown": 40,
-    "cells_with_outputs": 9,
+    "cells_with_outputs": 14,
     "cells_without_outputs": 0,
     "requires_api": false,
     "requires_gpu": false,
diff --git a/MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-5-Abstract-Argumentation.ipynb b/MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-5-Abstract-Argumentation.ipynb
index 19c190203..a2f02ab14 100644
--- a/MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-5-Abstract-Argumentation.ipynb
+++ b/MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-5-Abstract-Argumentation.ipynb
@@ -5,10 +5,10 @@
    "id": "84b1e9fb",
    "metadata": {
     "papermill": {
-     "duration": 0.004821,
-     "end_time": "2026-05-25T01:06:51.431881+00:00",
+     "duration": 0.032129,
+     "end_time": "2026-05-31T22:54:55.612223+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:51.427060+00:00",
+     "start_time": "2026-05-31T22:54:55.580094+00:00",
      "status": "completed"
     },
     "tags": []
@@ -46,16 +46,16 @@
      "start_time": "2026-05-20T14:28:03.185818328Z"
     },
     "execution": {
-     "iopub.execute_input": "2026-05-25T01:06:51.440847Z",
-     "iopub.status.busy": "2026-05-25T01:06:51.440661Z",
-     "iopub.status.idle": "2026-05-25T01:06:51.669939Z",
-     "shell.execute_reply": "2026-05-25T01:06:51.669248Z"
+     "iopub.execute_input": "2026-05-31T22:54:55.709337Z",
+     "iopub.status.busy": "2026-05-31T22:54:55.705560Z",
+     "iopub.status.idle": "2026-05-31T22:54:56.692030Z",
+     "shell.execute_reply": "2026-05-31T22:54:56.692030Z"
     },
     "papermill": {
-     "duration": 0.234559,
-     "end_time": "2026-05-25T01:06:51.670475+00:00",
+     "duration": 1.040265,
+     "end_time": "2026-05-31T22:54:56.694287+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:51.435916+00:00",
+     "start_time": "2026-05-31T22:54:55.654022+00:00",
      "status": "completed"
     },
     "tags": []
@@ -66,7 +66,13 @@
      "output_type": "stream",
      "text": [
       "--- Verification JVM Tweety + Outils ---\n",
-      "JDK portable: zulu17.50.19-ca-jdk17.0.11-win_x64\n",
+      "JDK portable: zulu17.50.19-ca-jdk17.0.11-win_x64\n"
+     ]
+    },
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
       "JVM demarree avec 42 JARs.\n",
       "\n",
       "--- Outils disponibles ---\n",
@@ -203,10 +209,10 @@
    "id": "ovgmeeo33d",
    "metadata": {
     "papermill": {
-     "duration": 0.004028,
-     "end_time": "2026-05-25T01:06:51.678734+00:00",
+     "duration": 0.018757,
+     "end_time": "2026-05-31T22:54:56.733249+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:51.674706+00:00",
+     "start_time": "2026-05-31T22:54:56.714492+00:00",
      "status": "completed"
     },
     "tags": []
@@ -237,10 +243,10 @@
    "id": "9f36b8ea",
    "metadata": {
     "papermill": {
-     "duration": 0.003664,
-     "end_time": "2026-05-25T01:06:51.686209+00:00",
+     "duration": 0.019475,
+     "end_time": "2026-05-31T22:54:56.771429+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:51.682545+00:00",
+     "start_time": "2026-05-31T22:54:56.751954+00:00",
      "status": "completed"
     },
     "tags": []
@@ -257,10 +263,10 @@
    "id": "tcu38ww928f",
    "metadata": {
     "papermill": {
-     "duration": 0.003742,
-     "end_time": "2026-05-25T01:06:51.693658+00:00",
+     "duration": 0.01718,
+     "end_time": "2026-05-31T22:54:56.805783+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:51.689916+00:00",
+     "start_time": "2026-05-31T22:54:56.788603+00:00",
      "status": "completed"
     },
     "tags": []
@@ -302,10 +308,10 @@
    "id": "0772b0f0",
    "metadata": {
     "papermill": {
-     "duration": 0.003582,
-     "end_time": "2026-05-25T01:06:51.701083+00:00",
+     "duration": 0.016786,
+     "end_time": "2026-05-31T22:54:56.839694+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:51.697501+00:00",
+     "start_time": "2026-05-31T22:54:56.822908+00:00",
      "status": "completed"
     },
     "tags": []
@@ -336,10 +342,10 @@
    "id": "s4a9hnw64wq",
    "metadata": {
     "papermill": {
-     "duration": 0.003918,
-     "end_time": "2026-05-25T01:06:51.708480+00:00",
+     "duration": 0.018077,
+     "end_time": "2026-05-31T22:54:56.874975+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:51.704562+00:00",
+     "start_time": "2026-05-31T22:54:56.856898+00:00",
      "status": "completed"
     },
     "tags": []
@@ -385,16 +391,16 @@
      "start_time": "2026-05-20T14:28:03.462106168Z"
     },
     "execution": {
-     "iopub.execute_input": "2026-05-25T01:06:51.716722Z",
-     "iopub.status.busy": "2026-05-25T01:06:51.716529Z",
-     "iopub.status.idle": "2026-05-25T01:06:52.122327Z",
-     "shell.execute_reply": "2026-05-25T01:06:52.121557Z"
+     "iopub.execute_input": "2026-05-31T22:54:56.924620Z",
+     "iopub.status.busy": "2026-05-31T22:54:56.924620Z",
+     "iopub.status.idle": "2026-05-31T22:54:58.089506Z",
+     "shell.execute_reply": "2026-05-31T22:54:58.087501Z"
     },
     "papermill": {
-     "duration": 0.410884,
-     "end_time": "2026-05-25T01:06:52.122930+00:00",
+     "duration": 1.196834,
+     "end_time": "2026-05-31T22:54:58.091075+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:51.712046+00:00",
+     "start_time": "2026-05-31T22:54:56.894241+00:00",
      "status": "completed"
     },
     "tags": []
@@ -549,10 +555,10 @@
    "id": "twum91hlfqb",
    "metadata": {
     "papermill": {
-     "duration": 0.003821,
-     "end_time": "2026-05-25T01:06:52.131046+00:00",
+     "duration": 0.015883,
+     "end_time": "2026-05-31T22:54:58.123716+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.127225+00:00",
+     "start_time": "2026-05-31T22:54:58.107833+00:00",
      "status": "completed"
     },
     "tags": []
@@ -593,10 +599,10 @@
    "id": "p1teshhe53",
    "metadata": {
     "papermill": {
-     "duration": 0.003948,
-     "end_time": "2026-05-25T01:06:52.140898+00:00",
+     "duration": 0.017322,
+     "end_time": "2026-05-31T22:54:58.160257+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.136950+00:00",
+     "start_time": "2026-05-31T22:54:58.142935+00:00",
      "status": "completed"
     },
     "tags": []
@@ -636,10 +642,10 @@
    "id": "6fd9e2eb",
    "metadata": {
     "papermill": {
-     "duration": 0.004074,
-     "end_time": "2026-05-25T01:06:52.149217+00:00",
+     "duration": 0.016163,
+     "end_time": "2026-05-31T22:54:58.193792+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.145143+00:00",
+     "start_time": "2026-05-31T22:54:58.177629+00:00",
      "status": "completed"
     },
     "tags": []
@@ -673,16 +679,16 @@
      "start_time": "2026-05-20T14:28:03.735127318Z"
     },
     "execution": {
-     "iopub.execute_input": "2026-05-25T01:06:52.158168Z",
-     "iopub.status.busy": "2026-05-25T01:06:52.157896Z",
-     "iopub.status.idle": "2026-05-25T01:06:52.170509Z",
-     "shell.execute_reply": "2026-05-25T01:06:52.169641Z"
+     "iopub.execute_input": "2026-05-31T22:54:58.228717Z",
+     "iopub.status.busy": "2026-05-31T22:54:58.228717Z",
+     "iopub.status.idle": "2026-05-31T22:54:58.256094Z",
+     "shell.execute_reply": "2026-05-31T22:54:58.254562Z"
     },
     "papermill": {
-     "duration": 0.018192,
-     "end_time": "2026-05-25T01:06:52.171246+00:00",
+     "duration": 0.046379,
+     "end_time": "2026-05-31T22:54:58.256619+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.153054+00:00",
+     "start_time": "2026-05-31T22:54:58.210240+00:00",
      "status": "completed"
     },
     "tags": []
@@ -788,10 +794,10 @@
    "id": "pu2hmum12x",
    "metadata": {
     "papermill": {
-     "duration": 0.004056,
-     "end_time": "2026-05-25T01:06:52.179353+00:00",
+     "duration": 0.018615,
+     "end_time": "2026-05-31T22:54:58.289023+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.175297+00:00",
+     "start_time": "2026-05-31T22:54:58.270408+00:00",
      "status": "completed"
     },
     "tags": []
@@ -830,10 +836,10 @@
    "id": "7x170f5izjn",
    "metadata": {
     "papermill": {
-     "duration": 0.003837,
-     "end_time": "2026-05-25T01:06:52.187428+00:00",
+     "duration": 0.015787,
+     "end_time": "2026-05-31T22:54:58.319731+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.183591+00:00",
+     "start_time": "2026-05-31T22:54:58.303944+00:00",
      "status": "completed"
     },
     "tags": []
@@ -865,10 +871,10 @@
    "id": "3ec4a75c",
    "metadata": {
     "papermill": {
-     "duration": 0.004011,
-     "end_time": "2026-05-25T01:06:52.195379+00:00",
+     "duration": 0.014896,
+     "end_time": "2026-05-31T22:54:58.350810+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.191368+00:00",
+     "start_time": "2026-05-31T22:54:58.335914+00:00",
      "status": "completed"
     },
     "tags": []
@@ -900,16 +906,16 @@
      "start_time": "2026-05-20T14:28:03.767949945Z"
     },
     "execution": {
-     "iopub.execute_input": "2026-05-25T01:06:52.204392Z",
-     "iopub.status.busy": "2026-05-25T01:06:52.204216Z",
-     "iopub.status.idle": "2026-05-25T01:06:52.217109Z",
-     "shell.execute_reply": "2026-05-25T01:06:52.216528Z"
+     "iopub.execute_input": "2026-05-31T22:54:58.384725Z",
+     "iopub.status.busy": "2026-05-31T22:54:58.384725Z",
+     "iopub.status.idle": "2026-05-31T22:54:58.416136Z",
+     "shell.execute_reply": "2026-05-31T22:54:58.415627Z"
     },
     "papermill": {
-     "duration": 0.0184,
-     "end_time": "2026-05-25T01:06:52.217617+00:00",
+     "duration": 0.050976,
+     "end_time": "2026-05-31T22:54:58.418559+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.199217+00:00",
+     "start_time": "2026-05-31T22:54:58.367583+00:00",
      "status": "completed"
     },
     "tags": []
@@ -926,9 +932,9 @@
       "ℹ️ Paramètres de génération: 6 args, proba_attaque=0.25 (comportement par défaut pour auto-attaques)\n",
       "\n",
       "Cadre généré aléatoirement :\n",
-      "  Arguments: <{ a1, a2, a3, a4, a5, a0 },[(a1,a4), (a4,a1), (a4,a3), (a0,a4), (a5,a2), (a0,a5), (a3,a1)]>\n",
-      "  Attaques : [(a1,a4), (a4,a1), (a4,a3), (a0,a4), (a5,a2), (a0,a5), (a3,a1)]\n",
-      "  Représentation compacte: <{ a1, a2, a3, a4, a5, a0 },[(a1,a4), (a4,a1), (a4,a3), (a0,a4), (a5,a2), (a0,a5), (a3,a1)]>\n"
+      "  Arguments: <{ a1, a2, a3, a4, a5, a0 },[(a2,a1), (a2,a3), (a0,a3), (a3,a0), (a5,a2), (a0,a5), (a3,a1), (a5,a3), (a3,a2)]>\n",
+      "  Attaques : [(a2,a1), (a2,a3), (a0,a3), (a3,a0), (a5,a2), (a0,a5), (a3,a1), (a5,a3), (a3,a2)]\n",
+      "  Représentation compacte: <{ a1, a2, a3, a4, a5, a0 },[(a2,a1), (a2,a3), (a0,a3), (a3,a0), (a5,a2), (a0,a5), (a3,a1), (a5,a3), (a3,a2)]>\n"
      ]
     }
    ],
@@ -983,10 +989,10 @@
    "id": "ter3h5b8rjh",
    "metadata": {
     "papermill": {
-     "duration": 0.004061,
-     "end_time": "2026-05-25T01:06:52.225908+00:00",
+     "duration": 0.016555,
+     "end_time": "2026-05-31T22:54:58.449410+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.221847+00:00",
+     "start_time": "2026-05-31T22:54:58.432855+00:00",
      "status": "completed"
     },
     "tags": []
@@ -1025,10 +1031,10 @@
    "id": "9e17ce72",
    "metadata": {
     "papermill": {
-     "duration": 0.003755,
-     "end_time": "2026-05-25T01:06:52.233782+00:00",
+     "duration": 0.017008,
+     "end_time": "2026-05-31T22:54:58.483315+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.230027+00:00",
+     "start_time": "2026-05-31T22:54:58.466307+00:00",
      "status": "completed"
     },
     "tags": []
@@ -1062,16 +1068,16 @@
      "start_time": "2026-05-20T14:28:03.802041802Z"
     },
     "execution": {
-     "iopub.execute_input": "2026-05-25T01:06:52.242259Z",
-     "iopub.status.busy": "2026-05-25T01:06:52.242045Z",
-     "iopub.status.idle": "2026-05-25T01:06:52.246776Z",
-     "shell.execute_reply": "2026-05-25T01:06:52.246241Z"
+     "iopub.execute_input": "2026-05-31T22:54:58.522223Z",
+     "iopub.status.busy": "2026-05-31T22:54:58.522223Z",
+     "iopub.status.idle": "2026-05-31T22:54:58.534535Z",
+     "shell.execute_reply": "2026-05-31T22:54:58.533527Z"
     },
     "papermill": {
-     "duration": 0.010029,
-     "end_time": "2026-05-25T01:06:52.247446+00:00",
+     "duration": 0.03631,
+     "end_time": "2026-05-31T22:54:58.536534+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.237417+00:00",
+     "start_time": "2026-05-31T22:54:58.500224+00:00",
      "status": "completed"
     },
     "tags": []
@@ -1177,10 +1183,10 @@
    "id": "8da5f3ec",
    "metadata": {
     "papermill": {
-     "duration": 0.003721,
-     "end_time": "2026-05-25T01:06:52.255015+00:00",
+     "duration": 0.016809,
+     "end_time": "2026-05-31T22:54:58.569841+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.251294+00:00",
+     "start_time": "2026-05-31T22:54:58.553032+00:00",
      "status": "completed"
     },
     "tags": []
@@ -1228,16 +1234,16 @@
      "start_time": "2026-05-20T14:28:37.779454326Z"
     },
     "execution": {
-     "iopub.execute_input": "2026-05-25T01:06:52.264701Z",
-     "iopub.status.busy": "2026-05-25T01:06:52.264503Z",
-     "iopub.status.idle": "2026-05-25T01:06:52.319774Z",
-     "shell.execute_reply": "2026-05-25T01:06:52.318843Z"
+     "iopub.execute_input": "2026-05-31T22:54:58.607743Z",
+     "iopub.status.busy": "2026-05-31T22:54:58.607239Z",
+     "iopub.status.idle": "2026-05-31T22:54:58.685757Z",
+     "shell.execute_reply": "2026-05-31T22:54:58.684746Z"
     },
     "papermill": {
-     "duration": 0.061621,
-     "end_time": "2026-05-25T01:06:52.320409+00:00",
+     "duration": 0.098832,
+     "end_time": "2026-05-31T22:54:58.687278+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.258788+00:00",
+     "start_time": "2026-05-31T22:54:58.588446+00:00",
      "status": "completed"
     },
     "tags": []
@@ -1251,13 +1257,7 @@
       "--- 4.2 Equivalence de Frameworks d'Argumentation (v1.30) ---\n",
       "AF1: <{ a, b, c },[(b,c), (a,b)]>\n",
       "AF2: <{ a, b, c },[(c,b), (b,a)]>\n",
-      "AF3 (copie de AF1): <{ a, b, c },[(b,c), (a,b)]>\n"
-     ]
-    },
-    {
-     "name": "stdout",
-     "output_type": "stream",
-     "text": [
+      "AF3 (copie de AF1): <{ a, b, c },[(b,c), (a,b)]>\n",
       "\n",
       "--- Comparaison AF1 vs AF3 (copie identique) ---\n",
       "  Syntactic            : True\n",
@@ -1358,10 +1358,10 @@
    "id": "c5314092",
    "metadata": {
     "papermill": {
-     "duration": 0.004216,
-     "end_time": "2026-05-25T01:06:52.329102+00:00",
+     "duration": 0.014888,
+     "end_time": "2026-05-31T22:54:58.717900+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.324886+00:00",
+     "start_time": "2026-05-31T22:54:58.703012+00:00",
      "status": "completed"
     },
     "tags": []
@@ -1389,10 +1389,10 @@
    "id": "b49a8e54",
    "metadata": {
     "papermill": {
-     "duration": 0.00403,
-     "end_time": "2026-05-25T01:06:52.337914+00:00",
+     "duration": 0.017912,
+     "end_time": "2026-05-31T22:54:58.752505+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.333884+00:00",
+     "start_time": "2026-05-31T22:54:58.734593+00:00",
      "status": "completed"
     },
     "tags": []
@@ -1431,16 +1431,16 @@
      "start_time": "2026-05-20T14:28:03.868451910Z"
     },
     "execution": {
-     "iopub.execute_input": "2026-05-25T01:06:52.347504Z",
-     "iopub.status.busy": "2026-05-25T01:06:52.347301Z",
-     "iopub.status.idle": "2026-05-25T01:06:52.368841Z",
-     "shell.execute_reply": "2026-05-25T01:06:52.368267Z"
+     "iopub.execute_input": "2026-05-31T22:54:58.793390Z",
+     "iopub.status.busy": "2026-05-31T22:54:58.792391Z",
+     "iopub.status.idle": "2026-05-31T22:54:58.838881Z",
+     "shell.execute_reply": "2026-05-31T22:54:58.837364Z"
     },
     "papermill": {
-     "duration": 0.027362,
-     "end_time": "2026-05-25T01:06:52.369547+00:00",
+     "duration": 0.067746,
+     "end_time": "2026-05-31T22:54:58.840397+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.342185+00:00",
+     "start_time": "2026-05-31T22:54:58.772651+00:00",
      "status": "completed"
     },
     "tags": []
@@ -1532,10 +1532,10 @@
    "id": "3178e3a7",
    "metadata": {
     "papermill": {
-     "duration": 0.004111,
-     "end_time": "2026-05-25T01:06:52.377961+00:00",
+     "duration": 0.014836,
+     "end_time": "2026-05-31T22:54:58.872247+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.373850+00:00",
+     "start_time": "2026-05-31T22:54:58.857411+00:00",
      "status": "completed"
     },
     "tags": []
@@ -1567,10 +1567,10 @@
    "id": "234240e0",
    "metadata": {
     "papermill": {
-     "duration": 0.00428,
-     "end_time": "2026-05-25T01:06:52.386539+00:00",
+     "duration": 0.016332,
+     "end_time": "2026-05-31T22:54:58.904325+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.382259+00:00",
+     "start_time": "2026-05-31T22:54:58.887993+00:00",
      "status": "completed"
     },
     "tags": []
@@ -1610,16 +1610,16 @@
      "start_time": "2026-05-20T14:28:03.900202475Z"
     },
     "execution": {
-     "iopub.execute_input": "2026-05-25T01:06:52.395739Z",
-     "iopub.status.busy": "2026-05-25T01:06:52.395346Z",
-     "iopub.status.idle": "2026-05-25T01:06:52.757911Z",
-     "shell.execute_reply": "2026-05-25T01:06:52.757342Z"
+     "iopub.execute_input": "2026-05-31T22:54:58.941132Z",
+     "iopub.status.busy": "2026-05-31T22:54:58.937737Z",
+     "iopub.status.idle": "2026-05-31T22:54:59.731042Z",
+     "shell.execute_reply": "2026-05-31T22:54:59.730024Z"
     },
     "papermill": {
-     "duration": 0.368018,
-     "end_time": "2026-05-25T01:06:52.758387+00:00",
+     "duration": 0.813125,
+     "end_time": "2026-05-31T22:54:59.733075+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.390369+00:00",
+     "start_time": "2026-05-31T22:54:58.919950+00:00",
      "status": "completed"
     },
     "tags": []
@@ -1649,20 +1649,8 @@
       "\n",
       "AF induit : 13 arguments, 10 attaques\n",
       "\n",
-      "Resultats des requetes causales :\n"
-     ]
-    },
-    {
-     "name": "stdout",
-     "output_type": "stream",
-     "text": [
-      "  essoufflement ? False\n"
-     ]
-    },
-    {
-     "name": "stdout",
-     "output_type": "stream",
-     "text": [
+      "Resultats des requetes causales :\n",
+      "  essoufflement ? False\n",
       "  frissons ? True\n"
      ]
     },
@@ -1671,13 +1659,7 @@
      "output_type": "stream",
      "text": [
       "  covid ? False\n",
-      "  grippe ? False\n"
-     ]
-    },
-    {
-     "name": "stdout",
-     "output_type": "stream",
-     "text": [
+      "  grippe ? False\n",
       "\n",
       "Conclusions derivables (3) :\n",
       "  fever\n",
@@ -1782,10 +1764,10 @@
    "id": "2037efdf",
    "metadata": {
     "papermill": {
-     "duration": 0.004597,
-     "end_time": "2026-05-25T01:06:52.767943+00:00",
+     "duration": 0.060753,
+     "end_time": "2026-05-31T22:54:59.811099+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.763346+00:00",
+     "start_time": "2026-05-31T22:54:59.750346+00:00",
      "status": "completed"
     },
     "tags": []
@@ -1811,10 +1793,10 @@
    "id": "4c00d0cb",
    "metadata": {
     "papermill": {
-     "duration": 0.003973,
-     "end_time": "2026-05-25T01:06:52.775988+00:00",
+     "duration": 0.03324,
+     "end_time": "2026-05-31T22:54:59.876729+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.772015+00:00",
+     "start_time": "2026-05-31T22:54:59.843489+00:00",
      "status": "completed"
     },
     "tags": []
@@ -1865,10 +1847,10 @@
    "id": "nd21d2gksor",
    "metadata": {
     "papermill": {
-     "duration": 0.004614,
-     "end_time": "2026-05-25T01:06:52.784745+00:00",
+     "duration": 0.026837,
+     "end_time": "2026-05-31T22:54:59.936540+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.780131+00:00",
+     "start_time": "2026-05-31T22:54:59.909703+00:00",
      "status": "completed"
     },
     "tags": []
@@ -1887,10 +1869,10 @@
    "id": "sol-intro",
    "metadata": {
     "papermill": {
-     "duration": 0.004399,
-     "end_time": "2026-05-25T01:06:52.793599+00:00",
+     "duration": 0.038694,
+     "end_time": "2026-05-31T22:55:00.005217+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.789200+00:00",
+     "start_time": "2026-05-31T22:54:59.966523+00:00",
      "status": "completed"
     },
     "tags": []
@@ -1913,16 +1895,16 @@
      "start_time": "2026-05-20T15:08:39.460602114Z"
     },
     "execution": {
-     "iopub.execute_input": "2026-05-25T01:06:52.803140Z",
-     "iopub.status.busy": "2026-05-25T01:06:52.802882Z",
-     "iopub.status.idle": "2026-05-25T01:06:52.806665Z",
-     "shell.execute_reply": "2026-05-25T01:06:52.806214Z"
+     "iopub.execute_input": "2026-05-31T22:55:00.083084Z",
+     "iopub.status.busy": "2026-05-31T22:55:00.082080Z",
+     "iopub.status.idle": "2026-05-31T22:55:00.091730Z",
+     "shell.execute_reply": "2026-05-31T22:55:00.090187Z"
     },
     "papermill": {
-     "duration": 0.009138,
-     "end_time": "2026-05-25T01:06:52.807175+00:00",
+     "duration": 0.039472,
+     "end_time": "2026-05-31T22:55:00.093239+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.798037+00:00",
+     "start_time": "2026-05-31T22:55:00.053767+00:00",
      "status": "completed"
     },
     "tags": []
@@ -1961,10 +1943,10 @@
    "id": "sol-ex1-md",
    "metadata": {
     "papermill": {
-     "duration": 0.004167,
-     "end_time": "2026-05-25T01:06:52.815289+00:00",
+     "duration": 0.019034,
+     "end_time": "2026-05-31T22:55:00.131424+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.811122+00:00",
+     "start_time": "2026-05-31T22:55:00.112390+00:00",
      "status": "completed"
     },
     "tags": []
@@ -1985,23 +1967,40 @@
      "start_time": "2026-05-20T15:09:26.250611475Z"
     },
     "execution": {
-     "iopub.execute_input": "2026-05-25T01:06:52.823817Z",
-     "iopub.status.busy": "2026-05-25T01:06:52.823675Z",
-     "iopub.status.idle": "2026-05-25T01:06:52.826452Z",
-     "shell.execute_reply": "2026-05-25T01:06:52.826012Z"
+     "iopub.execute_input": "2026-05-31T22:55:00.168347Z",
+     "iopub.status.busy": "2026-05-31T22:55:00.167822Z",
+     "iopub.status.idle": "2026-05-31T22:55:00.177877Z",
+     "shell.execute_reply": "2026-05-31T22:55:00.176296Z"
     },
     "papermill": {
-     "duration": 0.007726,
-     "end_time": "2026-05-25T01:06:52.827041+00:00",
+     "duration": 0.030373,
+     "end_time": "2026-05-31T22:55:00.178908+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.819315+00:00",
+     "start_time": "2026-05-31T22:55:00.148535+00:00",
      "status": "completed"
     },
     "tags": []
    },
-   "outputs": [],
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "Grounded  : {a,c}\n",
+      "Preferred : 1 extension(s) -> [{a,c}]\n",
+      "Stable    : 1 extension(s) -> [{a,c}]\n"
+     ]
+    }
+   ],
    "source": [
-    "# Exemple guide 1 : Solution completeaf1, _ = construire_af(\"abcd\", [(\"a\", \"b\"), (\"b\", \"c\"), (\"c\", \"d\"), (\"d\", \"b\")])grounded  = SimpleGroundedReasoner().getModel(af1)preferred = SimplePreferredReasoner().getModels(af1)stable    = SimpleStableReasoner().getModels(af1)print(\"Grounded  :\", grounded)print(\"Preferred :\", preferred.size(), \"extension(s) ->\", preferred)print(\"Stable    :\", stable.size(), \"extension(s) ->\", stable)"
+    "# Exemple guide 1 : Solution complete\n",
+    "af1, _ = construire_af(\"abcd\", [(\"a\", \"b\"), (\"b\", \"c\"), (\"c\", \"d\"), (\"d\", \"b\")])\n",
+    "grounded  = SimpleGroundedReasoner().getModel(af1)\n",
+    "preferred = SimplePreferredReasoner().getModels(af1)\n",
+    "stable    = SimpleStableReasoner().getModels(af1)\n",
+    "print(\"Grounded  :\", grounded)\n",
+    "print(\"Preferred :\", preferred.size(), \"extension(s) ->\", preferred)\n",
+    "print(\"Stable    :\", stable.size(), \"extension(s) ->\", stable)"
    ]
   },
   {
@@ -2009,10 +2008,10 @@
    "id": "ex1-stub-md",
    "metadata": {
     "papermill": {
-     "duration": 0.003979,
-     "end_time": "2026-05-25T01:06:52.834881+00:00",
+     "duration": 0.019765,
+     "end_time": "2026-05-31T22:55:00.216138+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.830902+00:00",
+     "start_time": "2026-05-31T22:55:00.196373+00:00",
      "status": "completed"
     },
     "tags": []
@@ -2027,23 +2026,36 @@
    "id": "ex1-stub-code",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2026-05-25T01:06:52.843254Z",
-     "iopub.status.busy": "2026-05-25T01:06:52.843057Z",
-     "iopub.status.idle": "2026-05-25T01:06:52.845432Z",
-     "shell.execute_reply": "2026-05-25T01:06:52.844890Z"
+     "iopub.execute_input": "2026-05-31T22:55:00.256096Z",
+     "iopub.status.busy": "2026-05-31T22:55:00.255529Z",
+     "iopub.status.idle": "2026-05-31T22:55:00.263235Z",
+     "shell.execute_reply": "2026-05-31T22:55:00.261330Z"
     },
     "papermill": {
-     "duration": 0.007281,
-     "end_time": "2026-05-25T01:06:52.845915+00:00",
+     "duration": 0.029795,
+     "end_time": "2026-05-31T22:55:00.264798+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.838634+00:00",
+     "start_time": "2026-05-31T22:55:00.235003+00:00",
      "status": "completed"
     },
     "tags": []
    },
-   "outputs": [],
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "Exercice a completer\n"
+     ]
+    }
+   ],
    "source": [
-    "# Exercice 1 : Cadre en diamant# TODO etudiant : construisez le cadre et analysez# Etape 1 : definir les arguments et attaques# Etape 2 : calculer les extensions# Etape 3 : interpreter les resultatsprint(\"Exercice a completer\")"
+    "# Exercice 1 : Cadre en diamant\n",
+    "# TODO etudiant : construisez le cadre et analysez\n",
+    "# Etape 1 : definir les arguments et attaques\n",
+    "# Etape 2 : calculer les extensions\n",
+    "# Etape 3 : interpreter les resultats\n",
+    "print(\"Exercice a completer\")"
    ]
   },
   {
@@ -2051,10 +2063,10 @@
    "id": "sol-ex1-interp",
    "metadata": {
     "papermill": {
-     "duration": 0.004123,
-     "end_time": "2026-05-25T01:06:52.853840+00:00",
+     "duration": 0.017169,
+     "end_time": "2026-05-31T22:55:00.300150+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.849717+00:00",
+     "start_time": "2026-05-31T22:55:00.282981+00:00",
      "status": "completed"
     },
     "tags": []
@@ -2072,10 +2084,10 @@
    "id": "ex2-stub-md",
    "metadata": {
     "papermill": {
-     "duration": 0.003877,
-     "end_time": "2026-05-25T01:06:52.861792+00:00",
+     "duration": 0.017665,
+     "end_time": "2026-05-31T22:55:00.336624+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.857915+00:00",
+     "start_time": "2026-05-31T22:55:00.318959+00:00",
      "status": "completed"
     },
     "tags": []
@@ -2090,23 +2102,36 @@
    "id": "ex2-stub-code",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2026-05-25T01:06:52.871519Z",
-     "iopub.status.busy": "2026-05-25T01:06:52.871357Z",
-     "iopub.status.idle": "2026-05-25T01:06:52.873740Z",
-     "shell.execute_reply": "2026-05-25T01:06:52.873299Z"
+     "iopub.execute_input": "2026-05-31T22:55:00.375093Z",
+     "iopub.status.busy": "2026-05-31T22:55:00.372443Z",
+     "iopub.status.idle": "2026-05-31T22:55:00.381328Z",
+     "shell.execute_reply": "2026-05-31T22:55:00.379820Z"
     },
     "papermill": {
-     "duration": 0.008183,
-     "end_time": "2026-05-25T01:06:52.874390+00:00",
+     "duration": 0.026708,
+     "end_time": "2026-05-31T22:55:00.381328+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.866207+00:00",
+     "start_time": "2026-05-31T22:55:00.354620+00:00",
      "status": "completed"
     },
     "tags": []
    },
-   "outputs": [],
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "Exercice a completer\n"
+     ]
+    }
+   ],
    "source": [
-    "# Exercice 2 : Cycle pair vs impair# TODO etudiant : construisez un cycle pair et comparez# Etape 1 : definir le cadre# Etape 2 : calculer CF2 et stable# Etape 3 : comparer avec le cycle impairprint(\"Exercice a completer\")"
+    "# Exercice 2 : Cycle pair vs impair\n",
+    "# TODO etudiant : construisez un cycle pair et comparez\n",
+    "# Etape 1 : definir le cadre\n",
+    "# Etape 2 : calculer CF2 et stable\n",
+    "# Etape 3 : comparer avec le cycle impair\n",
+    "print(\"Exercice a completer\")"
    ]
   },
   {
@@ -2114,10 +2139,10 @@
    "id": "sol-ex2-md",
    "metadata": {
     "papermill": {
-     "duration": 0.004081,
-     "end_time": "2026-05-25T01:06:52.882540+00:00",
+     "duration": 0.020634,
+     "end_time": "2026-05-31T22:55:00.421275+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.878459+00:00",
+     "start_time": "2026-05-31T22:55:00.400641+00:00",
      "status": "completed"
     },
     "tags": []
@@ -2133,10 +2158,10 @@
    "id": "ex3-stub-md",
    "metadata": {
     "papermill": {
-     "duration": 0.004005,
-     "end_time": "2026-05-25T01:06:52.890526+00:00",
+     "duration": 0.022591,
+     "end_time": "2026-05-31T22:55:00.465243+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.886521+00:00",
+     "start_time": "2026-05-31T22:55:00.442652+00:00",
      "status": "completed"
     },
     "tags": []
@@ -2151,23 +2176,36 @@
    "id": "ex3-stub-code",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2026-05-25T01:06:52.900305Z",
-     "iopub.status.busy": "2026-05-25T01:06:52.900091Z",
-     "iopub.status.idle": "2026-05-25T01:06:52.902416Z",
-     "shell.execute_reply": "2026-05-25T01:06:52.901940Z"
+     "iopub.execute_input": "2026-05-31T22:55:00.517723Z",
+     "iopub.status.busy": "2026-05-31T22:55:00.517723Z",
+     "iopub.status.idle": "2026-05-31T22:55:00.524810Z",
+     "shell.execute_reply": "2026-05-31T22:55:00.524295Z"
     },
     "papermill": {
-     "duration": 0.00801,
-     "end_time": "2026-05-25T01:06:52.902855+00:00",
+     "duration": 0.040074,
+     "end_time": "2026-05-31T22:55:00.526865+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.894845+00:00",
+     "start_time": "2026-05-31T22:55:00.486791+00:00",
      "status": "completed"
     },
     "tags": []
    },
-   "outputs": [],
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "Exercice a completer\n"
+     ]
+    }
+   ],
    "source": [
-    "# Exercice 3 : Statistiques personnalisees# TODO etudiant : modifiez les parametres# Etape 1 : generer avec differents parametres# Etape 2 : calculer les extensions# Etape 3 : comparer avec l'exemple guideprint(\"Exercice a completer\")"
+    "# Exercice 3 : Statistiques personnalisees\n",
+    "# TODO etudiant : modifiez les parametres\n",
+    "# Etape 1 : generer avec differents parametres\n",
+    "# Etape 2 : calculer les extensions\n",
+    "# Etape 3 : comparer avec l'exemple guide\n",
+    "print(\"Exercice a completer\")"
    ]
   },
   {
@@ -2180,23 +2218,39 @@
      "start_time": "2026-05-20T15:12:19.801611419Z"
     },
     "execution": {
-     "iopub.execute_input": "2026-05-25T01:06:52.911020Z",
-     "iopub.status.busy": "2026-05-25T01:06:52.910853Z",
-     "iopub.status.idle": "2026-05-25T01:06:52.913569Z",
-     "shell.execute_reply": "2026-05-25T01:06:52.912942Z"
+     "iopub.execute_input": "2026-05-31T22:55:00.596913Z",
+     "iopub.status.busy": "2026-05-31T22:55:00.596286Z",
+     "iopub.status.idle": "2026-05-31T22:55:00.623153Z",
+     "shell.execute_reply": "2026-05-31T22:55:00.620542Z"
     },
     "papermill": {
-     "duration": 0.007657,
-     "end_time": "2026-05-25T01:06:52.914190+00:00",
+     "duration": 0.073269,
+     "end_time": "2026-05-31T22:55:00.625392+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.906533+00:00",
+     "start_time": "2026-05-31T22:55:00.552123+00:00",
      "status": "completed"
     },
     "tags": []
    },
-   "outputs": [],
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "Stable : 0 extension(s) -> []\n",
+      "CF2    : 5 extension(s) -> [{a,c}, {a,d}, {b,d}, {b,e}, {c,e}]\n"
+     ]
+    }
+   ],
    "source": [
-    "# Exemple guide 2 : Solution completefrom org.tweetyproject.arg.dung.reasoner import SccCF2Reasoneraf2, _ = construire_af(\"abcde\", [(\"a\", \"b\"), (\"b\", \"c\"), (\"c\", \"d\"), (\"d\", \"e\"), (\"e\", \"a\")])stable2 = SimpleStableReasoner().getModels(af2)cf2     = SccCF2Reasoner().getModels(af2)print(\"Stable :\", stable2.size(), \"extension(s) ->\", stable2)print(\"CF2    :\", cf2.size(),     \"extension(s) ->\", cf2)"
+    "# Exemple guide 2 : Solution complete\n",
+    "from org.tweetyproject.arg.dung.reasoner import SccCF2Reasoner\n",
+    "\n",
+    "af2, _ = construire_af(\"abcde\", [(\"a\", \"b\"), (\"b\", \"c\"), (\"c\", \"d\"), (\"d\", \"e\"), (\"e\", \"a\")])\n",
+    "stable2 = SimpleStableReasoner().getModels(af2)\n",
+    "cf2     = SccCF2Reasoner().getModels(af2)\n",
+    "print(\"Stable :\", stable2.size(), \"extension(s) ->\", stable2)\n",
+    "print(\"CF2    :\", cf2.size(),     \"extension(s) ->\", cf2)"
    ]
   },
   {
@@ -2204,10 +2258,10 @@
    "id": "ex4-stub-md",
    "metadata": {
     "papermill": {
-     "duration": 0.004513,
-     "end_time": "2026-05-25T01:06:52.922681+00:00",
+     "duration": 0.033269,
+     "end_time": "2026-05-31T22:55:00.682599+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.918168+00:00",
+     "start_time": "2026-05-31T22:55:00.649330+00:00",
      "status": "completed"
     },
     "tags": []
@@ -2222,23 +2276,36 @@
    "id": "ex4-stub-code",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2026-05-25T01:06:52.931752Z",
-     "iopub.status.busy": "2026-05-25T01:06:52.931574Z",
-     "iopub.status.idle": "2026-05-25T01:06:52.933969Z",
-     "shell.execute_reply": "2026-05-25T01:06:52.933469Z"
+     "iopub.execute_input": "2026-05-31T22:55:00.745191Z",
+     "iopub.status.busy": "2026-05-31T22:55:00.745191Z",
+     "iopub.status.idle": "2026-05-31T22:55:00.754488Z",
+     "shell.execute_reply": "2026-05-31T22:55:00.753958Z"
     },
     "papermill": {
-     "duration": 0.007934,
-     "end_time": "2026-05-25T01:06:52.934540+00:00",
+     "duration": 0.049016,
+     "end_time": "2026-05-31T22:55:00.758544+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.926606+00:00",
+     "start_time": "2026-05-31T22:55:00.709528+00:00",
      "status": "completed"
     },
     "tags": []
    },
-   "outputs": [],
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "Exercice a completer\n"
+     ]
+    }
+   ],
    "source": [
-    "# Exercice 4 : Debat politique# TODO etudiant : definissez vos arguments et attaques# Etape 1 : identifier les arguments# Etape 2 : identifier les relations d'attaque# Etape 3 : construire le cadre et analyserprint(\"Exercice a completer\")"
+    "# Exercice 4 : Debat politique\n",
+    "# TODO etudiant : definissez vos arguments et attaques\n",
+    "# Etape 1 : identifier les arguments\n",
+    "# Etape 2 : identifier les relations d'attaque\n",
+    "# Etape 3 : construire le cadre et analyser\n",
+    "print(\"Exercice a completer\")"
    ]
   },
   {
@@ -2246,10 +2313,10 @@
    "id": "sol-ex2-interp",
    "metadata": {
     "papermill": {
-     "duration": 0.003658,
-     "end_time": "2026-05-25T01:06:52.942363+00:00",
+     "duration": 0.027331,
+     "end_time": "2026-05-31T22:55:00.818177+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.938705+00:00",
+     "start_time": "2026-05-31T22:55:00.790846+00:00",
      "status": "completed"
     },
     "tags": []
@@ -2269,10 +2336,10 @@
    "id": "ex5-stub-md",
    "metadata": {
     "papermill": {
-     "duration": 0.004182,
-     "end_time": "2026-05-25T01:06:52.950331+00:00",
+     "duration": 0.027669,
+     "end_time": "2026-05-31T22:55:00.872671+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.946149+00:00",
+     "start_time": "2026-05-31T22:55:00.845002+00:00",
      "status": "completed"
     },
     "tags": []
@@ -2287,23 +2354,36 @@
    "id": "ex5-stub-code",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2026-05-25T01:06:52.958749Z",
-     "iopub.status.busy": "2026-05-25T01:06:52.958578Z",
-     "iopub.status.idle": "2026-05-25T01:06:52.961047Z",
-     "shell.execute_reply": "2026-05-25T01:06:52.960606Z"
+     "iopub.execute_input": "2026-05-31T22:55:00.919793Z",
+     "iopub.status.busy": "2026-05-31T22:55:00.919284Z",
+     "iopub.status.idle": "2026-05-31T22:55:00.924756Z",
+     "shell.execute_reply": "2026-05-31T22:55:00.923746Z"
     },
     "papermill": {
-     "duration": 0.007512,
-     "end_time": "2026-05-25T01:06:52.961601+00:00",
+     "duration": 0.027283,
+     "end_time": "2026-05-31T22:55:00.924756+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.954089+00:00",
+     "start_time": "2026-05-31T22:55:00.897473+00:00",
      "status": "completed"
     },
     "tags": []
    },
-   "outputs": [],
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "Exercice a completer\n"
+     ]
+    }
+   ],
    "source": [
-    "# Exercice 5 : Cadre avec attaques asymetriques# TODO etudiant : construisez un cadre mixte# Etape 1 : definir les arguments et attaques# Etape 2 : calculer grounded et CF2# Etape 3 : comparer les resultatsprint(\"Exercice a completer\")"
+    "# Exercice 5 : Cadre avec attaques asymetriques\n",
+    "# TODO etudiant : construisez un cadre mixte\n",
+    "# Etape 1 : definir les arguments et attaques\n",
+    "# Etape 2 : calculer grounded et CF2\n",
+    "# Etape 3 : comparer les resultats\n",
+    "print(\"Exercice a completer\")"
    ]
   },
   {
@@ -2311,10 +2391,10 @@
    "id": "sol-ex3-md",
    "metadata": {
     "papermill": {
-     "duration": 0.004675,
-     "end_time": "2026-05-25T01:06:52.970115+00:00",
+     "duration": 0.016978,
+     "end_time": "2026-05-31T22:55:00.959782+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.965440+00:00",
+     "start_time": "2026-05-31T22:55:00.942804+00:00",
      "status": "completed"
     },
     "tags": []
@@ -2335,23 +2415,57 @@
      "start_time": "2026-05-20T15:16:18.448802942Z"
     },
     "execution": {
-     "iopub.execute_input": "2026-05-25T01:06:52.979035Z",
-     "iopub.status.busy": "2026-05-25T01:06:52.978791Z",
-     "iopub.status.idle": "2026-05-25T01:06:52.981320Z",
-     "shell.execute_reply": "2026-05-25T01:06:52.980817Z"
+     "iopub.execute_input": "2026-05-31T22:55:01.000552Z",
+     "iopub.status.busy": "2026-05-31T22:55:01.000041Z",
+     "iopub.status.idle": "2026-05-31T22:55:01.457508Z",
+     "shell.execute_reply": "2026-05-31T22:55:01.456496Z"
     },
     "papermill": {
-     "duration": 0.007945,
-     "end_time": "2026-05-25T01:06:52.982095+00:00",
+     "duration": 0.479274,
+     "end_time": "2026-05-31T22:55:01.457508+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.974150+00:00",
+     "start_time": "2026-05-31T22:55:00.978234+00:00",
      "status": "completed"
     },
     "tags": []
    },
-   "outputs": [],
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "Sur 100 cadres aleatoires (n=10, p=0.3) :\n",
+      " 1. Cadres avec au moins une extension stable : 92/100\n",
+      " 2. Taille moyenne de l'extension grounded     : 0.76\n",
+      " 3. Nombre moyen d'extensions preferred        : 1.65\n"
+     ]
+    }
+   ],
    "source": [
-    "# Exemple guide 3 : Solution completefrom org.tweetyproject.arg.dung.util import DefaultDungTheoryGenerator, DungTheoryGenerationParametersparams = DungTheoryGenerationParameters()params.numberOfArguments = 10params.attackProbability = 0.3generator = DefaultDungTheoryGenerator(params)N = 100nb_avec_stable = 0total_taille_grounded = 0total_nb_preferred = 0for i in range(N):    af = generator.next()    if not SimpleStableReasoner().getModels(af).isEmpty():        nb_avec_stable += 1    total_taille_grounded += SimpleGroundedReasoner().getModel(af).size()    total_nb_preferred += SimplePreferredReasoner().getModels(af).size()print(f\"Sur {N} cadres aleatoires (n=10, p=0.3) :\")print(f\" 1. Cadres avec au moins une extension stable : {nb_avec_stable}/{N}\")print(f\" 2. Taille moyenne de l'extension grounded     : {total_taille_grounded / N:.2f}\")print(f\" 3. Nombre moyen d'extensions preferred        : {total_nb_preferred / N:.2f}\")"
+    "# Exemple guide 3 : Solution complete\n",
+    "from org.tweetyproject.arg.dung.util import DefaultDungTheoryGenerator, DungTheoryGenerationParameters\n",
+    "\n",
+    "params = DungTheoryGenerationParameters()\n",
+    "params.numberOfArguments = 10\n",
+    "params.attackProbability = 0.3\n",
+    "generator = DefaultDungTheoryGenerator(params)\n",
+    "\n",
+    "N = 100\n",
+    "nb_avec_stable = 0\n",
+    "total_taille_grounded = 0\n",
+    "total_nb_preferred = 0\n",
+    "\n",
+    "for i in range(N):\n",
+    "    af = generator.next()\n",
+    "    if not SimpleStableReasoner().getModels(af).isEmpty():\n",
+    "        nb_avec_stable += 1\n",
+    "    total_taille_grounded += SimpleGroundedReasoner().getModel(af).size()\n",
+    "    total_nb_preferred += SimplePreferredReasoner().getModels(af).size()\n",
+    "\n",
+    "print(f\"Sur {N} cadres aleatoires (n=10, p=0.3) :\")\n",
+    "print(f\" 1. Cadres avec au moins une extension stable : {nb_avec_stable}/{N}\")\n",
+    "print(f\" 2. Taille moyenne de l'extension grounded     : {total_taille_grounded / N:.2f}\")\n",
+    "print(f\" 3. Nombre moyen d'extensions preferred        : {total_nb_preferred / N:.2f}\")"
    ]
   },
   {
@@ -2359,10 +2473,10 @@
    "id": "sol-ex3-interp",
    "metadata": {
     "papermill": {
-     "duration": 0.003722,
-     "end_time": "2026-05-25T01:06:52.989660+00:00",
+     "duration": 0.019989,
+     "end_time": "2026-05-31T22:55:01.498419+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.985938+00:00",
+     "start_time": "2026-05-31T22:55:01.478430+00:00",
      "status": "completed"
     },
     "tags": []
@@ -2389,10 +2503,10 @@
    "id": "sol-ex4-md",
    "metadata": {
     "papermill": {
-     "duration": 0.003867,
-     "end_time": "2026-05-25T01:06:52.997358+00:00",
+     "duration": 0.020453,
+     "end_time": "2026-05-31T22:55:01.542427+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:52.993491+00:00",
+     "start_time": "2026-05-31T22:55:01.521974+00:00",
      "status": "completed"
     },
     "tags": []
@@ -2413,23 +2527,48 @@
      "start_time": "2026-05-20T15:20:32.001045314Z"
     },
     "execution": {
-     "iopub.execute_input": "2026-05-25T01:06:53.005753Z",
-     "iopub.status.busy": "2026-05-25T01:06:53.005596Z",
-     "iopub.status.idle": "2026-05-25T01:06:53.008122Z",
-     "shell.execute_reply": "2026-05-25T01:06:53.007668Z"
+     "iopub.execute_input": "2026-05-31T22:55:01.584079Z",
+     "iopub.status.busy": "2026-05-31T22:55:01.584079Z",
+     "iopub.status.idle": "2026-05-31T22:55:01.596956Z",
+     "shell.execute_reply": "2026-05-31T22:55:01.596956Z"
     },
     "papermill": {
-     "duration": 0.007458,
-     "end_time": "2026-05-25T01:06:53.008529+00:00",
+     "duration": 0.034946,
+     "end_time": "2026-05-31T22:55:01.599482+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:53.001071+00:00",
+     "start_time": "2026-05-31T22:55:01.564536+00:00",
      "status": "completed"
     },
     "tags": []
    },
-   "outputs": [],
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "Débat initial\n",
+      "  Grounded                      : {A,C,D}\n",
+      "  Nombre d'extensions preferred : 1\n",
+      "\n",
+      "Après ajout de E (E -> D)\n",
+      "  Grounded : {A,C,E}\n"
+     ]
+    }
+   ],
    "source": [
-    "# Exemple guide 4 : Solution completedebat, _ = construire_af(\"ABCD\", [(\"B\", \"A\"), (\"C\", \"B\"), (\"D\", \"B\")])grounded  = SimpleGroundedReasoner().getModel(debat)preferred = SimplePreferredReasoner().getModels(debat)print(\"Débat initial\")print(\"  Grounded                      :\", grounded)print(\"  Nombre d'extensions preferred :\", preferred.size())# Ajout de l'argument E : E attaque Ddebat2, _ = construire_af(\"ABCDE\", [(\"B\", \"A\"), (\"C\", \"B\"), (\"D\", \"B\"), (\"E\", \"D\")])print(\"\\nAprès ajout de E (E -> D)\")print(\"  Grounded :\", SimpleGroundedReasoner().getModel(debat2))"
+    "# Exemple guide 4 : Solution complete\n",
+    "debat, _ = construire_af(\"ABCD\", [(\"B\", \"A\"), (\"C\", \"B\"), (\"D\", \"B\")])\n",
+    "grounded  = SimpleGroundedReasoner().getModel(debat)\n",
+    "preferred = SimplePreferredReasoner().getModels(debat)\n",
+    "\n",
+    "print(\"Débat initial\")\n",
+    "print(\"  Grounded                      :\", grounded)\n",
+    "print(\"  Nombre d'extensions preferred :\", preferred.size())\n",
+    "\n",
+    "# Ajout de l'argument E : E attaque D\n",
+    "debat2, _ = construire_af(\"ABCDE\", [(\"B\", \"A\"), (\"C\", \"B\"), (\"D\", \"B\"), (\"E\", \"D\")])\n",
+    "print(\"\\nAprès ajout de E (E -> D)\")\n",
+    "print(\"  Grounded :\", SimpleGroundedReasoner().getModel(debat2))"
    ]
   },
   {
@@ -2437,10 +2576,10 @@
    "id": "sol-ex4-interp",
    "metadata": {
     "papermill": {
-     "duration": 0.003794,
-     "end_time": "2026-05-25T01:06:53.016275+00:00",
+     "duration": 0.020878,
+     "end_time": "2026-05-31T22:55:01.637073+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:53.012481+00:00",
+     "start_time": "2026-05-31T22:55:01.616195+00:00",
      "status": "completed"
     },
     "tags": []
@@ -2460,10 +2599,10 @@
    "id": "sol-ex5-md",
    "metadata": {
     "papermill": {
-     "duration": 0.004545,
-     "end_time": "2026-05-25T01:06:53.024977+00:00",
+     "duration": 0.018184,
+     "end_time": "2026-05-31T22:55:01.675005+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:53.020432+00:00",
+     "start_time": "2026-05-31T22:55:01.656821+00:00",
      "status": "completed"
     },
     "tags": []
@@ -2484,23 +2623,54 @@
      "start_time": "2026-05-20T15:22:45.094766811Z"
     },
     "execution": {
-     "iopub.execute_input": "2026-05-25T01:06:53.034882Z",
-     "iopub.status.busy": "2026-05-25T01:06:53.034709Z",
-     "iopub.status.idle": "2026-05-25T01:06:53.037213Z",
-     "shell.execute_reply": "2026-05-25T01:06:53.036740Z"
+     "iopub.execute_input": "2026-05-31T22:55:01.715445Z",
+     "iopub.status.busy": "2026-05-31T22:55:01.714425Z",
+     "iopub.status.idle": "2026-05-31T22:55:01.725081Z",
+     "shell.execute_reply": "2026-05-31T22:55:01.724542Z"
     },
     "papermill": {
-     "duration": 0.008143,
-     "end_time": "2026-05-25T01:06:53.037569+00:00",
+     "duration": 0.034433,
+     "end_time": "2026-05-31T22:55:01.727092+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:53.029426+00:00",
+     "start_time": "2026-05-31T22:55:01.692659+00:00",
      "status": "completed"
     },
     "tags": []
    },
-   "outputs": [],
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "Conflict-Free : 7 extension(s) -> [{a}, {b}, {c}, {d}, {a,d}, {b,c}, {}]\n",
+      "Admissible    : 7 extension(s) -> [{a}, {b}, {c}, {d}, {a,d}, {b,c}, {}]\n",
+      "Complete      : 3 extension(s) -> [{b,c}, {a,d}, {}]\n",
+      "Preferred     : 2 extension(s) -> [{b,c}, {a,d}]\n",
+      "Stable        : 2 extension(s) -> [{b,c}, {a,d}]\n",
+      "Grounded      : {}\n"
+     ]
+    }
+   ],
    "source": [
-    "# Exemple guide 5 : Solution completesym, _ = construire_af(\"abcd\", [    (\"a\", \"b\"), (\"b\", \"a\"),   # a <-> b    (\"c\", \"d\"), (\"d\", \"c\"),   # c <-> d    (\"a\", \"c\"), (\"c\", \"a\"),   # a <-> c    (\"b\", \"d\"), (\"d\", \"b\"),   # b <-> d])resultats = {    \"Conflict-Free\": SimpleConflictFreeReasoner().getModels(sym),    \"Admissible\":    SimpleAdmissibleReasoner().getModels(sym),    \"Complete\":      SimpleCompleteReasoner().getModels(sym),    \"Preferred\":     SimplePreferredReasoner().getModels(sym),    \"Stable\":        SimpleStableReasoner().getModels(sym),}for nom, exts in resultats.items():    print(f\"{nom:14s}: {exts.size()} extension(s) -> {exts}\")print(f\"{'Grounded':14s}:\", SimpleGroundedReasoner().getModel(sym))"
+    "# Exemple guide 5 : Solution complete\n",
+    "sym, _ = construire_af(\"abcd\", [\n",
+    "    (\"a\", \"b\"), (\"b\", \"a\"),   # a <-> b\n",
+    "    (\"c\", \"d\"), (\"d\", \"c\"),   # c <-> d\n",
+    "    (\"a\", \"c\"), (\"c\", \"a\"),   # a <-> c\n",
+    "    (\"b\", \"d\"), (\"d\", \"b\"),   # b <-> d\n",
+    "])\n",
+    "\n",
+    "resultats = {\n",
+    "    \"Conflict-Free\": SimpleConflictFreeReasoner().getModels(sym),\n",
+    "    \"Admissible\":    SimpleAdmissibleReasoner().getModels(sym),\n",
+    "    \"Complete\":      SimpleCompleteReasoner().getModels(sym),\n",
+    "    \"Preferred\":     SimplePreferredReasoner().getModels(sym),\n",
+    "    \"Stable\":        SimpleStableReasoner().getModels(sym),\n",
+    "}\n",
+    "\n",
+    "for nom, exts in resultats.items():\n",
+    "    print(f\"{nom:14s}: {exts.size()} extension(s) -> {exts}\")\n",
+    "print(f\"{'Grounded':14s}:\", SimpleGroundedReasoner().getModel(sym))"
    ]
   },
   {
@@ -2508,10 +2678,10 @@
    "id": "sol-ex5-interp",
    "metadata": {
     "papermill": {
-     "duration": 0.003691,
-     "end_time": "2026-05-25T01:06:53.045534+00:00",
+     "duration": 0.02351,
+     "end_time": "2026-05-31T22:55:01.764501+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:53.041843+00:00",
+     "start_time": "2026-05-31T22:55:01.740991+00:00",
      "status": "completed"
     },
     "tags": []
@@ -2533,10 +2703,10 @@
    "id": "sol-bilan",
    "metadata": {
     "papermill": {
-     "duration": 0.003759,
-     "end_time": "2026-05-25T01:06:53.053542+00:00",
+     "duration": 0.015142,
+     "end_time": "2026-05-31T22:55:01.798162+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:53.049783+00:00",
+     "start_time": "2026-05-31T22:55:01.783020+00:00",
      "status": "completed"
     },
     "tags": []
@@ -2560,10 +2730,10 @@
    "id": "d1vosu91m3",
    "metadata": {
     "papermill": {
-     "duration": 0.004373,
-     "end_time": "2026-05-25T01:06:53.064905+00:00",
+     "duration": 0.018787,
+     "end_time": "2026-05-31T22:55:01.834567+00:00",
      "exception": false,
-     "start_time": "2026-05-25T01:06:53.060532+00:00",
+     "start_time": "2026-05-31T22:55:01.815780+00:00",
      "status": "completed"
     },
     "tags": []
@@ -2662,18 +2832,18 @@
    "name": "python",
    "nbconvert_exporter": "python",
    "pygments_lexer": "ipython3",
-   "version": "3.13.12"
+   "version": "3.12.13"
   },
   "papermill": {
    "default_parameters": {},
-   "duration": 3.471777,
-   "end_time": "2026-05-25T01:06:53.302984+00:00",
+   "duration": 9.277713,
+   "end_time": "2026-05-31T22:55:02.293900+00:00",
    "environment_variables": {},
    "exception": null,
-   "input_path": "D:\\dev\\CoursIA\\MyIA.AI.Notebooks\\SymbolicAI\\Tweety\\Tweety-5-Abstract-Argumentation.ipynb",
-   "output_path": "D:\\dev\\CoursIA\\MyIA.AI.Notebooks\\SymbolicAI\\Tweety\\Tweety-5-Abstract-Argumentation_output.ipynb",
+   "input_path": "MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-5-Abstract-Argumentation.ipynb",
+   "output_path": "MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-5-Abstract-Argumentation_output.ipynb",
    "parameters": {},
-   "start_time": "2026-05-25T01:06:49.831207+00:00",
+   "start_time": "2026-05-31T22:54:53.016187+00:00",
    "version": "2.6.0"
   }
  },