diff --git a/README.md b/README.md
new file mode 100644
index 0000000..0ace960
--- /dev/null
+++ b/README.md
@@ -0,0 +1,14 @@
+The Pieuvre Proof Prover
+=
+
+# Presentation
+
+# Note d'implementation
+
+# Répartition du travail
+
+### Adrien
+
+### Samy
+Fonctions de manipulation des λ-termes (pieuvre.ml)
+Typecheck