diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 255566b..6da9000 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -148,12 +148,12 @@
   },
   "active": "13c9bfe482ec2d42",
   "lastOpenFiles": [
-    "Algo/Séminaire/Exercices sémaines.md",
-    "Algo/Séminaire/Chapter 3 - Case analysis.md",
+    "Algo/Séminaire/Introduction.md",
     "Algo/Séminaire/Chapter 1 - CAML basics.md",
+    "Algo/Séminaire/Chapter 3 - Case analysis.md",
+    "Algo/Séminaire/Exercices sémaines.md",
     "Algo/Séminaire/Chapter 2 - Functions.md",
     "Algo/Séminaire/assets/69E2987C-209A-48CD-8964-5A60462966E5.jpg",
-    "Algo/Séminaire/Introduction.md",
     "Algo/Séminaire/assets",
     "Algo/Séminaire/assets/F1D2AA19-E790-4022-AFFF-F778EAB28AB5.jpg",
     "Mathématiques/Séminaire/Logics/Logics.md",
diff --git a/Algo/Séminaire/Chapter 1 - CAML basics.md b/Algo/Séminaire/Chapter 1 - CAML basics.md
index fa07a30..4ea7e69 100644
--- a/Algo/Séminaire/Chapter 1 - CAML basics.md	
+++ b/Algo/Séminaire/Chapter 1 - CAML basics.md	
@@ -71,7 +71,7 @@ when there is the keyword ``len``and ``in`` that create a local definition. A lo
 
 ### Multiple definitions
 ```Ocaml
-# let r = 1. and pi : 3.14 in 2 *. pi *. r;; (*local version*)
+# let r = 1. and pi = 3.14 in 2 *. pi *. r;; (*local version*)
 - : float = 6.28 
 
 # let x = 1.2 and y = "Hello";;
diff --git a/Algo/Séminaire/Introduction.md b/Algo/Séminaire/Introduction.md
index ee2cdc1..3108cab 100644
--- a/Algo/Séminaire/Introduction.md
+++ b/Algo/Séminaire/Introduction.md
@@ -56,7 +56,7 @@ There is two families in the language word, the imperative and the declarative
 
 In the declarative languages we have
 - The functional languages
-- $$f:x -> x+1$$
+- $f:x -> x+1$
 - The logical languages
 $$x\in{N}$$
 $$x>1$$
@@ -64,4 +64,3 @@ $$x<3$$
 $$\text{-> } x=2$$
 
 
-Latest update 2023-09-04