diff --git a/.DS_Store b/.DS_Store
index 0440b233..dcd92553 100644
Binary files a/.DS_Store and b/.DS_Store differ
diff --git a/.obsidian/graph.json b/.obsidian/graph.json
index ca836934..8a62f09d 100644
--- a/.obsidian/graph.json
+++ b/.obsidian/graph.json
@@ -130,6 +130,6 @@
   "repelStrength": 5.263671875,
   "linkStrength": 1,
   "linkDistance": 30,
-  "scale": 0.23876229472704796,
+  "scale": 2.696925815670357,
   "close": true
 }
\ No newline at end of file
diff --git a/Richard Montague.md b/Richard Montague.md
index 957bd0f7..8fd096a1 100644
--- a/Richard Montague.md	
+++ b/Richard Montague.md	
@@ -4,8 +4,8 @@ tags:
   - "#t/personne"
 aliases:
 link: ""
+directeur-de-these: "[[Alfred Tarski]]"
 ---
-directeur-de-these:: [[Alfred Tarski]]
 
 ```breadcrumbs
 title: "Sous-notes"
@@ -15,3 +15,6 @@ show-attributes: [field]
 field-groups: [downs]
 depth: [0, 0]
 ```
+
+Son directeur de thèse était [[Alfred Tarski]]
+
diff --git a/daily/2026-02-03.md b/daily/2026-02-03.md
index 3bb5e42e..7ac8267b 100644
--- a/daily/2026-02-03.md
+++ b/daily/2026-02-03.md
@@ -1,5 +1,5 @@
 # Todo
-- [ ] #task billets de train vendredi
+- [x] #task billets de train vendredi ✅ 2026-02-05
 - [ ] #task envoyer site rome2rio à maman
 
 ```tasks
@@ -17,7 +17,7 @@ done 2026-02-03
 short mode
 ```
 
- - journée avec Clara^[qui était malade :(] ❤️
+ - journée avec Clara ❤️ (qui était malade)
  - publication pour le [tilde town zine 9](https://tilde.town/~zine)
 # I am gratefull to
 
diff --git a/daily/2026-02-04.md b/daily/2026-02-04.md
index bb99d24e..5adae97d 100644
--- a/daily/2026-02-04.md
+++ b/daily/2026-02-04.md
@@ -6,6 +6,7 @@ not done
 ```
 # I did
  - [[syntax, semantics, discourse 2]] (grammaires de montague)
+ - soirée avec Clara et Ben 1
 > [!smallquery]- Modified files
 > ```dataview
 > LIST file.mtime
diff --git a/daily/2026-02-05.md b/daily/2026-02-05.md
new file mode 100644
index 00000000..48d8367f
--- /dev/null
+++ b/daily/2026-02-05.md
@@ -0,0 +1,19 @@
+# Todo
+
+```tasks
+due 2026-02-05
+not done
+```
+# I did
+
+> [!smallquery]- Modified files
+> ```dataview
+> LIST file.mtime
+> where file.mtime > date(this.file.name) and file.mtime < (date(this.file.name) + dur(1 day)) sort file.mtime asc
+> ```
+```tasks
+done 2026-02-05
+short mode
+```
+# I am gratefull to
+
diff --git a/fonction récursive primitive.md b/fonction récursive primitive.md
index 7f44e620..5978a11c 100644
--- a/fonction récursive primitive.md	
+++ b/fonction récursive primitive.md	
@@ -9,13 +9,19 @@ aliases:
 
 > [!definition] [[fonction récursive primitive]]
 > On définit par [[induction]] l'ensemble des fonctions récursives primitives comme suit :
-> [^1] 
-> 
+>  - i Soit $p \in \mathbb{N}$ on note $\mathscr{F}_{p}$ l'ensemble des applications de $\mathbb{N}^{p} \to \mathbb{N}$ (par convention, $\mathscr{F}_{0}$ ne contient que la suite vide)
+>    
+> > [!info] Fonctions projection
+> > On note $P_{p}^{i}$ (pour $1 \leq i \leq p$) la fonction de $\mathscr{F}_{p}$ telle que pour tout $x_1, \dots, x_{p} \in \mathbb{N}$ on a :
+> > $P_{p}^{i}(x_1, x_2, \dots, x_{p}) = x_{i}$
+>
+> > [!info] Définition par récurrence
+> > Soient $f \in \mathscr{F}_{p}$ et $g \in \mathscr{F}_{p+2}$, il existe une unique fonction de $\mathscr{F}_{p+1}$ qui, pour tout $x_1, \dots, x_{p}, y \in \mathbb{N}$ respecte :
+> >  - $f(x_1, x_2, \dots, x_{p}, 0) = g(x_1, x_2, \dots, x_{p})$
+> >  - $f(x_1, x_2, \dots, x_{p}, y+1) = h(x_1, x_2, \dots, x_{p}, y, f(x_1, x_2, \dots, x_{p}, y))$
 ^definition
 
 
 # Propriétés
 
 # Exemples
-
-[^1]: Soit $p \in \mathbb{N}$ on note $\mathscr{F}_{p}$ l'ensemble des applications de $\mathbb{N}^{p} \to \mathbb{N}$ (par convention, $\mathscr{F}_{0}$ ne contient que la suite vide)
\ No newline at end of file
diff --git a/sources/films/Anatomie d'une chute.md b/sources/films/Anatomie d'une chute.md
index 6dabdbdc..4610a444 100644
--- a/sources/films/Anatomie d'une chute.md	
+++ b/sources/films/Anatomie d'une chute.md	
@@ -4,18 +4,18 @@ genre:
   - "[[Drame]]"
   - "[[Mystère]]"
 director:
-rating:
+rating: 6
 scoreImdb: 7.6
 cast:
-cover: "https://m.media-amazon.com/images/M/MV5BM2JiMDQxZTYtMmU4Mi00NmE4LTk0OGYtMDA3ZTY3MmJmOGNjXkEyXkFqcGc@._V1_.jpg"
-plot: "Alors qu'une femme est suspectée du meurtre de son mari, son fils aveugle est placé face à un dilemme moral en tant qu'unique témoin."
+cover: https://m.media-amazon.com/images/M/MV5BM2JiMDQxZTYtMmU4Mi00NmE4LTk0OGYtMDA3ZTY3MmJmOGNjXkEyXkFqcGc@._V1_.jpg
+plot: Alors qu'une femme est suspectée du meurtre de son mari, son fils aveugle est placé face à un dilemme moral en tant qu'unique témoin.
 year: 2023
 created: 2025-10-24
 tags:
-  - "t/source/film"
-  - "s/art/cinema"
-nb_times_seen: "0"
-date_last_seen:
+  - t/source/film
+  - s/art/cinema
+nb_times_seen: 1
+date_last_seen: 2026/01/31
 ---
 
 `VIEW[Vu {nb_times_seen} fois (le {date_last_seen})][text]`
diff --git a/sources/films/The Lord of the Rings The Fellowship of the Ring (le seigneur des anneaux).md b/sources/films/The Lord of the Rings The Fellowship of the Ring (le seigneur des anneaux).md
index 876bfac6..30259f83 100644
--- a/sources/films/The Lord of the Rings The Fellowship of the Ring (le seigneur des anneaux).md	
+++ b/sources/films/The Lord of the Rings The Fellowship of the Ring (le seigneur des anneaux).md	
@@ -18,7 +18,7 @@ created: 2025-08-26
 tags:
   - t/source/film
   - s/art/cinema
-nb_times_seen:
+nb_times_seen: 0
 date_last_seen:
 ---
 
diff --git a/syntax, semantics, discourse 2.md b/syntax, semantics, discourse 2.md
index 8bac3766..2858719a 100644
--- a/syntax, semantics, discourse 2.md	
+++ b/syntax, semantics, discourse 2.md	
@@ -6,6 +6,15 @@ tags:
 aliases:
 ---
 
+```breadcrumbs
+title: "Sous-notes"
+type: tree
+collapse: false
+show-attributes: [field]
+field-groups: [downs]
+depth: [0, 0]
+```
+
  - [[compositionnality]]
 language meaning need to satisfy a constraint much more concrete than [[compositionnality]], namely [[incrementality]] : NL input is processed word by word :
  - A The train...
diff --git a/valeur d'adhérence d'une suite.md b/valeur d'adhérence d'une suite.md
index 7d2c163b..9cd166c7 100644
--- a/valeur d'adhérence d'une suite.md	
+++ b/valeur d'adhérence d'une suite.md	
@@ -18,7 +18,6 @@ Une valeur d'adhérence est une valeur que l'on trouve une infinité de fois dan
 > [!définition] Autre définition
 > $(x_{n})$ admet $x$ pour *valeur d'adhérence* ssi il existe une [[suite extraite|suite extraite]] de $(x_{n})$ qui [[suite convergente|converge]] (ou [[suite divergente|diverge]]) vers $x$
 
-> [!corrolary]
-> test
-> chose
+
+