\end{Proof}
+On peut alors prouver le théorème:
+\thAdrien*
+
\begin{Proof}
-du Théorème~\ref{th:Adrien}.
La preuve se fait par induction sur ${\mathsf{N}}$.
Soit $f$ une fonction de $\Bool^{\mathsf{N}}$ dans lui-même et qui vérifie les hypothèses
du théorème.
${\mathsf{N}}$ n'a pas de boucle, \emph{i.e.}, la valeur de $f_{\mathsf{N}}(x)$
ne dépend pas de la valeur de $x_{\mathsf{N}}$.
D'après la troisième hypothèse,
-il existe $i\in \llbracket 1;{\mathsf{N}} \rrbracket$ tel que $G(f)$ a un arc de
+il existe $i\in [{\mathsf{N}}]$ tel que $G(f)$ a un arc de
$i$ vers ${\mathsf{N}}$.
Ainsi, il existe $x \in \Bool^{\mathsf{N}}$ tel que $f_{{\mathsf{N}}i}(x) \neq 0$ et donc
%$n$ n'est donc pas de degré zéro dans $G(f)$, \emph{i.e.}
