From d0a3186183eba5af847d43d41e0bdf54459591ae Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Fri, 16 Mar 2018 20:18:50 +0100
Subject: Typo.

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

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}
-- 
cgit v1.2.3