diff --git a/formule logique.md b/formule logique.md
index 1fe921dd..b588a781 100644
--- a/formule logique.md	
+++ b/formule logique.md	
@@ -38,5 +38,6 @@ up:
 >  - dans 4. $f'$ est unique et déterminé
 >  - dans 5. 6. 7. et 8. $f_1$ et $f_2$ sont uniques et déterminés
 
-
+> [!proposition]+ 
+>