diff --git a/README.md b/README.md
index 0822522..c11c513 100644
--- a/README.md
+++ b/README.md
@@ -40,7 +40,7 @@ L'option `alpha` vérifie si deux lambda-termes sont alpha-équivalents. Elle s'
 
 ### Découpage des fichiers
 
-- `lexer.mll` et `parser.mly` contiennent les fichiers pour le parser `ocamlyacc`
+- `lexer.mll` et `parser.mly` sont les fichiers pour le parser `ocamlyacc`
 - `main.ml` contient le code gérant la ligne de commande, la construction du lambda-terme en appelant les fonctions de `pieuvre.ml`
 - `pieuvre.ml` contient toutes les fonctions de manipulation de λ-termes.
 - `structs.ml` contient l'ensemble des structures de données : λ-terme, environnements, types