diff --git a/.obsidian/plugins/breadcrumbs/data.json b/.obsidian/plugins/breadcrumbs/data.json
index a55be24e..e9bbce0c 100644
--- a/.obsidian/plugins/breadcrumbs/data.json
+++ b/.obsidian/plugins/breadcrumbs/data.json
@@ -245,7 +245,7 @@
           "prevs"
         ],
         "lock_view": false,
-        "lock_path": "ensemble de formules contradictoire.md",
+        "lock_path": "formule conséquence d'un ensemble de formules.md",
         "custom_sort_fields": false,
         "custom_sort_field_labels": []
       },
@@ -254,7 +254,7 @@
         "show_attributes": [],
         "merge_fields": false,
         "lock_view": false,
-        "lock_path": "ensemble de formules contradictoire.md",
+        "lock_path": "formule conséquence d'un ensemble de formules.md",
         "field_group_labels": [
           "downs"
         ],
diff --git a/calcul propositionnel.md b/calcul propositionnel.md
new file mode 100644
index 00000000..7ef8d817
--- /dev/null
+++ b/calcul propositionnel.md	
@@ -0,0 +1,16 @@
+---
+up:
+  - "[[logique]]"
+tags:
+  - s/maths/logique
+aliases:
+---
+
+```breadcrumbs
+title: "Sous-notes"
+type: tree
+collapse: true
+show-attributes: [field]
+field-groups: [downs]
+depth: [0, 0]
+```
\ No newline at end of file
diff --git a/ensemble de formules contradictoire.md b/ensemble de formules contradictoire.md
index 4a09d598..e0be2e2a 100644
--- a/ensemble de formules contradictoire.md	
+++ b/ensemble de formules contradictoire.md	
@@ -5,4 +5,14 @@ tags:
   - s/maths/logique
   - o
 aliases:
+  - contradictoire
 ---
+
+> [!definition] [[ensemble de formules contradictoire]]
+> Un ensemble de formules $\mathscr{A}$  est **contradictoire** si et seulement si il n'est pas [[ensemble de formules satisfaisable|satisfaisable]]
+^definition
+
+# Propriétés
+
+# Exemples
+
diff --git a/ensemble de formules satisfaisable.md b/ensemble de formules satisfaisable.md
index 6e61b315..245031e8 100644
--- a/ensemble de formules satisfaisable.md	
+++ b/ensemble de formules satisfaisable.md	
@@ -4,6 +4,7 @@ up:
 tags:
   - s/maths/logique
 aliases:
+  - satisfaisable
 ---
 
 > [!definition] Définition
diff --git a/ensemble de formules satisfait.md b/ensemble de formules satisfait.md
index b394805f..ec8d06a9 100644
--- a/ensemble de formules satisfait.md	
+++ b/ensemble de formules satisfait.md	
@@ -4,6 +4,7 @@ up:
 tags:
   - s/maths/logique
 aliases:
+  - satisfait
 ---
 
 > [!definition] [[ensemble de formules satisfait]]
diff --git a/ensembles de formules logiquement équivalents.md b/ensembles de formules logiquement équivalents.md
new file mode 100644
index 00000000..405c61a7
--- /dev/null
+++ b/ensembles de formules logiquement équivalents.md	
@@ -0,0 +1,12 @@
+---
+up:
+  - "[[calcul propositionnel]]"
+tags:
+  - s/maths/logique
+aliases:
+  - équivalents
+---
+
+> [!definition] [[ensembles de formules logiquement équivalents]]
+> Deux ensembles de formules $\mathscr{A}$ et $\mathscr{B}$ sont **équivalents** si et seulement si toute formule de $\mathscr{A}$ est conséquence de $\mathscr{B}$ 
+^definition
diff --git a/formule conséquence d'un ensemble de formules.md b/formule conséquence d'un ensemble de formules.md
new file mode 100644
index 00000000..a7a023c9
--- /dev/null
+++ b/formule conséquence d'un ensemble de formules.md	
@@ -0,0 +1,26 @@
+---
+up:
+  - "[[calcul propositionnel]]"
+tags:
+  - s/maths/logique
+aliases:
+  - conséquence
+  - ⊢*
+---
+
+> [!definition] [[formule conséquence d'un ensemble de formules]]
+> Soit $\mathscr{A}$ un ensembles de formules et $G$ une formule du [[calcul propositionnel]]
+> $G$ est **conséquence** de $\mathscr{A}$ si et seulement si toute distribution de valeurs de vérité qui satisfait $\mathscr{A}$ 
+^definition
+
+# Propriétés
+
+> [!proposition]+ 
+> $\mathscr{A} \vdash^{*} G \iff \mathscr{A} \cup \{ G \}$ est [[ensemble de formules contradictoire|contradictoire]]
+> > [!démonstration]- Démonstration
+> > - $\boxed{\implies}$ supposons que $\mathscr{A} \vdash^{*} G$
+> >   Soit $\delta$ une [[valuation]] qui [[ensemble de formules satisfait|satisfait]] $\mathscr{A}$, i.e. $\forall F \in \mathscr{A},\quad \delta(F) = 1$
+> >   Puisque l'on a supposé $\mathscr{A} \vdash^{*} G$ sait que $\delta(G)=1$, et donc que $\delta(\neg G) = 0$, ce qui montre bien qu'un
+
+# Exemples
+
diff --git a/index.md b/index.md
index 22ed426f..76ca8ce2 100644
--- a/index.md
+++ b/index.md
@@ -11,5 +11,5 @@ tags: []
 > collapse: true
 > show-attributes: [field]
 > field-groups: [downs]
-> depth: [0, 0]
+> depth: [0, 2]
 > ```
diff --git a/projets persos.md b/projets persos.md
new file mode 100644
index 00000000..dd48e1db
--- /dev/null
+++ b/projets persos.md	
@@ -0,0 +1,12 @@
+---
+up:
+tags:
+aliases:
+---
+
+> [!todo] Projets non-commencés
+> ```dataview
+> LIST title
+> FROM ""
+> WHERE econtains(up, this.file.link)
+> ```
diff --git a/sources/clippings/OV Klok.md b/sources/clippings/OV Klok.md
new file mode 100644
index 00000000..a59a687f
--- /dev/null
+++ b/sources/clippings/OV Klok.md	
@@ -0,0 +1,16 @@
+---
+link: "https://jplattel.nl/project/ov-klok/"
+author:
+published: 2024-02-14
+created: 2026-05-31
+description: "I’m Joost Plattel, I'd like to call myself an auxiliary technologist. I assist organisations and individuals with technology and help them future strategies."
+tags:
+  - "t/clippings"
+---
+The [OV Klok](https://ovklok.nl/) is a small hardware project that show the time left before the next departure of public transport you use. It’s made with and ESP32 module and 7 segment digit display.
+
+![](https://jplattel.nl/img/ovklok.jpeg)
+
+You can [order one](https://shop.ovklok.nl/) if you live in the Netherlands and use public transport a lot from a specific location. The enclosure is made by pressure-forming plastic in the [Mayku Multiplier](https://mayku.me/multiplier) and a 3D print allowing for different methods of mounting and freestanding use.
+
+The ESP32 runs on Circuit Python and is fully configurable with a USB-C cable through the browser with the use of WebSerial. This skips troublesome setups like captive portals or file editing. It’s a simple and calm device allowing you to catch your public transport right on time!
\ No newline at end of file
diff --git a/théorie des modèles.md b/théorie des modèles.md
index 16f1d89e..15a9a0d8 100644
--- a/théorie des modèles.md	
+++ b/théorie des modèles.md	
@@ -1,8 +1,11 @@
 ---
 up:
+  - "[[logique]]"
 tags:
+  - s/maths/logique/modèles
 aliases:
 ---
+
 ```breadcrumbs
 title: "Sous-notes"
 type: tree