diff --git a/properties.tex b/properties.tex
index 987a3ee..eba48e6 100644
--- a/properties.tex
+++ b/properties.tex
@@ -4,7 +4,7 @@
 
 \begin{proof}[Sketch]
     %Oui, $2m log(|C|)+k$ blocs dans le compressé (MLS)
-    Evaluation en cours par Loïc d'un contre-exemple proposé par Benjamin.
+    Evaluation en cours par Loïc d'un contre-exemple proposé par Benjamin. Loïc m'a fait remarqué que mon contre-exemple arrive avec une probabilité potentiellement négligeable.
 \end{proof}