From 907e02c68a8c5d4b5dfbbe3711f32437a4e22a6d Mon Sep 17 00:00:00 2001
From: Benjamin Loison <benjamin.loison@orange.fr>
Date: Thu, 29 Jun 2023 15:03:50 +0000
Subject: [PATCH] Update on Overleaf.

---
 properties.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}