diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 0a23f8d..2547b71 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -25,13 +25,14 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "Algo/Séminaire/Chapter 5 - Recursivity.md",
+                "file": "Algo/Séminaire/Exercices seminaire.md",
                 "mode": "source",
                 "source": false
               }
             }
           }
-        ]
+        ],
+        "currentTab": 1
       }
     ],
     "direction": "vertical"
@@ -168,19 +169,19 @@
       "command-palette:Open command palette": false
     }
   },
-  "active": "c82ce15f72f65a11",
+  "active": "64e3f10f354fdce4",
   "lastOpenFiles": [
+    "Algo/Séminaire/Introduction.md",
     "Algo/Séminaire/Chapter 5 - Recursivity.md",
+    "Algo/Séminaire/Exercices seminaire.md",
     "Algo/Séminaire/Chapter 3 - Case analysis.md",
     "Algo/Séminaire/Chapter 2 - Functions.md",
-    "Algo/Séminaire/Exercices seminaire.md",
     "Algo/Séminaire/assets/fact function response.png",
     "Algo/Séminaire/assets/recursivite-meme.png",
     "Pasted image 20230912155138.png",
     "Algo/Séminaire/Chapter 4 - A bit of imperative.md",
     "Algo/Chapter 0 - A bit of imperative/0.1 - Print.md",
     "Algo/Séminaire/Untitled",
-    "Algo/Séminaire/Introduction.md",
     "Algo/Séminaire/Chapter 1 - CAML basics.md",
     "Mathématiques/Séminaire/Logics/Logics.md",
     "Algo/Chapter 0 - A bit of imperative",
diff --git a/Algo/Séminaire/Exercices seminaire.md b/Algo/Séminaire/Exercices seminaire.md
index dbfd27a..cde5f8d 100644
--- a/Algo/Séminaire/Exercices seminaire.md	
+++ b/Algo/Séminaire/Exercices seminaire.md	
@@ -268,3 +268,9 @@ let rec add a = function
 	| 0 -> a
 	| b -> 1 + add a (b-1);;
 ```
+
+## Exercise 4.6
+```Ocaml
+let rec mult a = function
+	| a when a = 0 | a when b = 0 -> 0
+	| 
\ No newline at end of file