diff --git a/README.md b/README.md
index 64fa4d8..b99cd29 100644
--- a/README.md
+++ b/README.md
@@ -10,11 +10,19 @@ L'option `typecheck` peut être testée avec les fichiers tests dans `tests/type
 ./pieuvre -typecheck tests/typecheck/wrong-type
 ```
 
+## Option `alpha`
+L'option `alpha` vérifie si deux lambda-termes sont alpha-équivalents. Elle s'utilise de la manière suivante :
+```
+./pieuvre -alpha tests/lambda-terms/alpha-eq.lams
+./pieuvre -alpha tests/lambda-terms/alpha-not-eq.lams
+```
+
 ## Note d'implémentation
 
 ## Répartition du travail
 
 ### Adrien
+- Option `typecheck`
 
 ### Samy
 Fonctions de manipulation des λ-termes (pieuvre.ml)
diff --git a/tests/lambda-terms/alpha-eq.lam b/tests/lambda-terms/alpha-eq.lams
similarity index 100%
rename from tests/lambda-terms/alpha-eq.lam
rename to tests/lambda-terms/alpha-eq.lams
diff --git a/tests/lambda-terms/alpha-not-eq.lam b/tests/lambda-terms/alpha-not-eq.lams
similarity index 100%
rename from tests/lambda-terms/alpha-not-eq.lam
rename to tests/lambda-terms/alpha-not-eq.lams