diff --git a/RapportPresentation/ex-presentation.tex b/RapportPresentation/ex-presentation.tex
index 358d77b..5170b3a 100644
--- a/RapportPresentation/ex-presentation.tex
+++ b/RapportPresentation/ex-presentation.tex
@@ -49,7 +49,7 @@
   Prouvable
   $$A \rightarrow B \rightarrow (A \wedge B)$$
   Pas prouvable
-  $$A \rightarrow \neg \neg A$$
+  $$\neg \neg A \rightarrow A$$
 
 \end{frame}