diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index a7f9763..2e5a256 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -13,22 +13,12 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "Algo/Séminaire/Chapter 5 - Recursivity.md",
+                "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md",
                 "mode": "source",
                 "source": false
               }
             }
           },
-          {
-            "id": "cdc1b50aff81b014",
-            "type": "leaf",
-            "state": {
-              "type": "release-notes",
-              "state": {
-                "currentVersion": "1.4.13"
-              }
-            }
-          },
           {
             "id": "5aa49dd7e49043c7",
             "type": "leaf",
@@ -41,8 +31,7 @@
               }
             }
           }
-        ],
-        "currentTab": 1
+        ]
       }
     ],
     "direction": "vertical"
@@ -108,7 +97,7 @@
             "state": {
               "type": "backlink",
               "state": {
-                "file": "Algo/Séminaire/Chapter 5 - Recursivity.md",
+                "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md",
                 "collapseAll": false,
                 "extraContext": false,
                 "sortOrder": "alphabetical",
@@ -125,7 +114,7 @@
             "state": {
               "type": "outgoing-link",
               "state": {
-                "file": "Algo/Séminaire/Chapter 5 - Recursivity.md",
+                "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md",
                 "linksCollapsed": false,
                 "unlinkedCollapsed": true
               }
@@ -148,7 +137,7 @@
             "state": {
               "type": "outline",
               "state": {
-                "file": "Algo/Séminaire/Chapter 5 - Recursivity.md"
+                "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md"
               }
             }
           },
@@ -179,12 +168,12 @@
       "command-palette:Open command palette": false
     }
   },
-  "active": "cdc1b50aff81b014",
+  "active": "0d2d422aa24bb900",
   "lastOpenFiles": [
-    "Algo/Séminaire/Exercices seminaire.md",
-    "Algo/Séminaire/Chapter 5 - Recursivity.md",
-    "Algo/Séminaire/Introduction.md",
     "Algo/Séminaire/Chapter 3 - Case analysis.md",
+    "Algo/Séminaire/Chapter 5 - Recursivity.md",
+    "Algo/Séminaire/Exercices seminaire.md",
+    "Algo/Séminaire/Introduction.md",
     "Algo/Séminaire/Chapter 2 - Functions.md",
     "Algo/Séminaire/Chapter 4 - A bit of imperative.md",
     "Algo/Séminaire/Chapter 1 - CAML basics.md",
diff --git a/Algo/Séminaire/Chapter 3 - Case analysis.md b/Algo/Séminaire/Chapter 3 - Case analysis.md
index 83453c3..b8b8fc1 100644
--- a/Algo/Séminaire/Chapter 3 - Case analysis.md	
+++ b/Algo/Séminaire/Chapter 3 - Case analysis.md	
@@ -37,7 +37,7 @@ Exception : Division by zero
 Failwith is a function that take a string argument (the reason) and return the error. That way, we can raise an error into our code
 ```Ocaml
 # failwith;;
--: string -> a = <fun>
+-: string -> a' = <fun>
 
 # failwith "oops";;
 Exception : Failwith "oops"