From 70fa9659be6fbe04129aaf0b09bfe580b50501b6 Mon Sep 17 00:00:00 2001
From: Adrien Vannson <adrien.vannson@protonmail.com>
Date: Tue, 17 May 2022 11:43:45 +0200
Subject: [PATCH] Orthographe

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 5291ec7..3572bec 100644
--- a/README.md
+++ b/README.md
@@ -23,7 +23,7 @@ L'option `alpha` vérifie si deux lambda-termes sont alpha-équivalents. Elle s'
 ./pieuvre -reduce tests/lambda-terms/lambda.lam
 ```
 
-## Note d'implémentation
+## Notes d'implémentation
 
 ## Répartition du travail