diff --git a/formule conséquence d'un ensemble de formules.md b/formule conséquence d'un ensemble de formules.md
index 152211fc..363a8d0f 100644
--- a/formule conséquence d'un ensemble de formules.md	
+++ b/formule conséquence d'un ensemble de formules.md	
@@ -25,5 +25,6 @@ aliases:
 > >   Alors, on sait que pour toute valuation $\delta$ on a $\exists F \in \mathscr{A} \cup \{ \neg G \},\quad \delta (F) = 0$
 > > - 
 
+
 # Exemples