diff --git a/Algo/Séminaire/Exercices sémaines.md b/Algo/Séminaire/Exercices sémaines.md
index b69d044..96ac770 100644
--- a/Algo/Séminaire/Exercices sémaines.md	
+++ b/Algo/Séminaire/Exercices sémaines.md	
@@ -92,20 +92,19 @@ let f a b c =
 ### Exercise 3.2
 ```OCaml
 (*logical and*)
-if a == b then 
-	true
-else false
-let and_if a b = 
+# let and_if a b = 
+	if a then
+		b
+	else false;;
+val and_if: bool -> bool -> bool = <fun>
 
 (*logical or*)
-if a && b then
-	true
-else if a && not b then
-	true
-else if not a && b then
-	true
-else 
-	false
+# let or_if a b =
+	if a then true
+	else b;;
+	
+val or_if: bool -> bool -> bool = <fun>
+
 
 (*logical implication*)
 if a && b then