1 files changed, 1 insertions, 1 deletions
diff --git a/controle-20180322.tex b/controle-20180322.tex
index a9d1e83..4575bf5 100644
--- a/controle-20180322.tex
+++ b/controle-20180322.tex
@@ -450,7 +450,7 @@ certain nombre de répétitions de la lettre $a$ (car tout préfixe de
 longueur $\leq k$ de $a^k b^k$ est de cette forme) ; disons $u =
 a^\ell$ et $v = a^m$, si bien que $w = a^{k-\ell-m} b^k$.  La
 propriété (i) donne $m\geq 1$.  Enfin, la propriété (iii) affirme que
-le mot $uv^iw = a^{k+(i-1)m} x b^k$ appartient à $P$ ; or pour $i=0$,
+le mot $uv^iw = a^{k+(i-1)m} b^k$ appartient à $P$ ; or pour $i=0$,
 ceci est faux puisque $a^{k-m} b^k$ vérifie $k-m < k$.  On a donc
 abouti à une contradiction, et c'est que $P$ n'est pas rationnel.
 \end{corrige}