From 67d608add8c981a10b462883a356ed728ef93405 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Tue, 7 Jun 2022 19:50:11 +0200
Subject: Another clarification (suggested by Matthieu Rambaud).

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

diff --git a/controle-20220616.tex b/controle-20220616.tex
index 16b7abf..7439a45 100644
--- a/controle-20220616.tex
+++ b/controle-20220616.tex
@@ -509,7 +509,7 @@ arbre $\mathscr{T}$ ne vérifie pas ($\dagger$), on peut en construire
 un autre ayant strictement moins de nœuds, en remplaçant le sous-arbre
 qui descend de $n$ par celui qui descend de $n'$, et expliquer
 pourquoi c'est encore un arbre d'analyse pour $G$ si $\mathscr{T}$ en
-est un.
+est un (pas nécessairement du même mot).
 
 \begin{corrige}
 Si $\mathscr{T}$ est un arbre d'analyse pour $G$ dans lequel un nœud
-- 
cgit v1.2.3