diff --git a/README.md b/README.md
index 79052f8..c07fc00 100644
--- a/README.md
+++ b/README.md
@@ -34,8 +34,6 @@ L'option `alpha` vérifie si deux lambda-termes sont alpha-équivalents. Elle s'
 ./pieuvre -reduce tests/lambda-terms/lambda.lam
 ```
 
-## Notes d'implémentation
-
 ## Répartition du travail
 
 ### Adrien