diff --git a/preuve.md b/preuve.md
index daa3459..df9a0a9 100644
--- a/preuve.md
+++ b/preuve.md
@@ -10,6 +10,7 @@ precondition: |liste| > 0
     Resultat
 ```
 # Preuve de terminaison
-    La terminaison est assuré par la présence d'un variant de boucle (séquence d'entier naturel). *ici* ```plaintext
+La terminaison est assuré par la présence d'un variant de boucle (séquence d'entier naturel). *ici* 
+```plaintext
 |liste| - index 
 ```est un variant de boucles