diff --git a/La-preuve.md b/La-preuve.md
index f52e176..9d09992 100644
--- a/La-preuve.md
+++ b/La-preuve.md
@@ -26,7 +26,7 @@ Trois idées la portent :
 
 - **Le registre** : `docs/audit/affirmations.md` — chaque affirmation du dépôt (README, docs,
   aide `make`, GUI) reliée à une preuve et un statut (✅/🟡/❌/⚪).
-- **Le harnais** : `make prouver` rejoue les preuves automatisables (**P01–P60**, sans trou dans la série) et écrit
+- **Le harnais** : `make prouver` rejoue les preuves automatisables (**P01–P61**, sans trou dans la série) et écrit
   `docs/audit/preuve-<date>.md`. `make verifier` les inclut : il **échoue** si une preuve échoue.
 - **Chaque preuve garde une classe d'erreur.** Extrait :