From 2b5800c11297402156ca3bced7e124b29b050cc2 Mon Sep 17 00:00:00 2001
From: Spectre <elouan.fare@protonmail.ch>
Date: Wed, 27 Nov 2024 09:00:16 +0100
Subject: [PATCH] correction prof

---
 preuve.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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