diff --git a/M1 LOGOS . logique.md b/M1 LOGOS . logique.md
index 45103d22..c039ce53 100644
--- a/M1 LOGOS . logique.md	
+++ b/M1 LOGOS . logique.md	
@@ -24,7 +24,8 @@ author:: [[George Boole]]
 
 ## 1.3 - Evaluation
 
-[[valuation d'une formule logique]]
+- [[valuation d'une formule logique]]
+    - 
 
 ## Tautologies
 
diff --git a/évaluation d'une formule logique.md b/évaluation d'une formule logique.md
index f16d7582..35b65cfb 100644
--- a/évaluation d'une formule logique.md	
+++ b/évaluation d'une formule logique.md	
@@ -12,4 +12,4 @@ aliases:
 > Soit $v \in \{ 0, 1 \}^{V}$ une [[valuation d'une formule logique|valuation]]
 > On cherche à **évaluer** $F(v)$.
 > On transforme donc $F$ en une formule sans variables propositionnelles, en remplacant chaque variable par sa **valeur** suivant $v$.
-> Le [[théorème de lecture unique]] nous indique ensuite la non-ambiguité de la notation, [[local]] et il suffit donc de connaitre les tables de vérité des opérateurs pour en déduire étape par étape la valeur de 
\ No newline at end of file
+> Le [[théorème de lecture unique]] nous indique ensuite la non-ambiguité de la notation, et il suffit donc de connaitre les tables de vérité des opérateurs pour en déduire étape par étape la valeur de 
\ No newline at end of file