From a73dc73bf33c7c01ec07c2b09eb34a7e3b0875f5 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Mon, 8 Jan 2018 16:37:51 +0100
Subject: Try to make clarification even clearer.

---
 notes-inf105.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'notes-inf105.tex')

diff --git a/notes-inf105.tex b/notes-inf105.tex
index f60f754..1c2dde6 100644
--- a/notes-inf105.tex
+++ b/notes-inf105.tex
@@ -5172,8 +5172,8 @@ $\Sigma \cup N \cup \{\varepsilon\}$, vérifiant les propriétés
 suivantes :
 \begin{itemize}
 \item la racine de l'arbre est étiquetée par l'axiome $S$ de $G$ ;
-\item si un nœud de l'arbre est étiqueté par $T$ et n'est pas une
-  feuille (i.e., s'il a des fils), alors
+\item si un nœud de l'arbre n'est pas une feuille (i.e., s'il a des
+  fils) et si on appelle $T$ son étiquette, alors
 \begin{itemize}
 \item soit ce nœud a un unique fils étiqueté $\varepsilon$ et il
   existe une règle $T \rightarrow \varepsilon$ dans $G$,
-- 
cgit v1.2.3

