diff --git a/thue-morse.v b/thue-morse.v
index a0e1d31..a725b36 100644
--- a/thue-morse.v
+++ b/thue-morse.v
@@ -1078,13 +1078,16 @@ Proof.
   intros k a b n m. intros H I J.
   assert (K: nth_error (tm_step n) a = Some (odd n)). rewrite I.
   apply tm_step_repunit.
-ERREUR DANS l'énoncé : ce n'est pas Some odd mais lié à la parité du poids
-de Hamming de b !!!
-  odd n   XOR    odd Hamming(b)
-     (chaque bit à 1 de b modifie)
-     o
 
-test = lambda b, n: t[ 2**n-1 + 2**(n+1) * b ] == t[ 2**n-1 + 2**(n+1) * b + 1]
+
+
+
+
+
+
+
+
+