From 00b4bc09a5d2959c7fb34fcb382ecdd847e1da7d Mon Sep 17 00:00:00 2001
From: Louis <me@louisgallet.fr>
Date: Mon, 25 Sep 2023 23:36:18 +0200
Subject: [PATCH] vault backup: 2023-09-25 23:36:18

---
 .obsidian/workspace.json              | 23 ++++++++---------------
 Algo/Séminaire/Exercices seminaire.md | 14 +++++++++++++-
 2 files changed, 21 insertions(+), 16 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 2e8c427..51f2c88 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -4,19 +4,15 @@
     "type": "split",
     "children": [
       {
-        "id": "d1d0fb84c1c51d46",
+        "id": "778bfeed44403054",
         "type": "tabs",
         "children": [
           {
-            "id": "2eaee722b622a4ab",
+            "id": "76bf6a235cb7a78d",
             "type": "leaf",
             "state": {
-              "type": "markdown",
-              "state": {
-                "file": "Algo/Séminaire/Exercices seminaire.md",
-                "mode": "source",
-                "source": false
-              }
+              "type": "empty",
+              "state": {}
             }
           }
         ]
@@ -85,7 +81,6 @@
             "state": {
               "type": "backlink",
               "state": {
-                "file": "Algo/Séminaire/Exercices seminaire.md",
                 "collapseAll": false,
                 "extraContext": false,
                 "sortOrder": "alphabetical",
@@ -102,7 +97,6 @@
             "state": {
               "type": "outgoing-link",
               "state": {
-                "file": "Algo/Séminaire/Exercices seminaire.md",
                 "linksCollapsed": false,
                 "unlinkedCollapsed": true
               }
@@ -124,9 +118,7 @@
             "type": "leaf",
             "state": {
               "type": "outline",
-              "state": {
-                "file": "Algo/Séminaire/Exercices seminaire.md"
-              }
+              "state": {}
             }
           },
           {
@@ -156,13 +148,14 @@
       "command-palette:Open command palette": false
     }
   },
-  "active": "2eaee722b622a4ab",
+  "active": "c473a791e2b34194",
   "lastOpenFiles": [
+    "English",
+    "Algo/Séminaire/Exercices seminaire.md",
     "Methodologie/Gestion.md",
     "README.md",
     "Algo/Séminaire/Remediation.md",
     "COM-ADMR/Séjour international EPITA.md",
-    "Algo/Séminaire/Exercices seminaire.md",
     "Algo/Séminaire/Chapter 5 - Recursivity.md",
     "COM-ADMR",
     "Methodologie",
diff --git a/Algo/Séminaire/Exercices seminaire.md b/Algo/Séminaire/Exercices seminaire.md
index 8570bad..72be35c 100644
--- a/Algo/Séminaire/Exercices seminaire.md	
+++ b/Algo/Séminaire/Exercices seminaire.md	
@@ -461,6 +461,18 @@ let prime n =
 				check n (k + 1)
 		in pr n 2;;
 (* V2 *)
-
+let prime n =
+	if n < 1 then
+		invalid_args "n should not be inferior to zero"
+	else if x = 2 then true
+	else 
+		let rec pr n k =
+			if n = k then
+				true
+			else if n mod k = 0 then
+				false
+			else
+				check n (k + 1)
+		in (n = 2) || (n mod 2 = 1 and check n 3)
 ```