diff --git a/README.md b/README.md
index 162b15c..64fa4d8 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,7 @@
-The Pieuvre Proof Prover
-=
+The Pieuvre Proof Assistant
+===========================
 
-# Presentation
+# Utilisation
 
 ## Option `typecheck`
 L'option `typecheck` peut être testée avec les fichiers tests dans `tests/typecheck`. Pour cela, utiliser les commandes :