diff --git a/doc/README.md b/doc/README.md
index 0775bfb..0242258 100644
--- a/doc/README.md
+++ b/doc/README.md
@@ -8,3 +8,7 @@
 
 * [Explication du diagrame de classe](./explication_class.md)
 * [Explication du diagrame de cas d'utilisation](./explication_useCase.md)
+
+## Les preuves
+
+* [preuves](./preuves.pdf)