X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/103fee06d77ee199f8956ccb0747b45676c834e5..refs/heads/master:/11FCT.tex

diff --git a/11FCT.tex b/11FCT.tex
index 0e9c64f..498af15 100644
--- a/11FCT.tex
+++ b/11FCT.tex
@@ -55,7 +55,8 @@ $f_j$ et qui permet de n'engendrer que des fonctions
 $f$ dont le  graphe d'itÃ©rations
  $\textsc{giu}(f)$  est fortement connexe.
 
-\begin{theorem}\label{th:Adrien}
+\begin{restatable}{theorem}{thAdrien}
+\label{th:Adrien}
 Soit $f$ une fonction de $\Bool^{\mathsf{N}}$ vers lui-mÃªme telle que:
 \begin{enumerate}
 \item 
@@ -68,11 +69,11 @@ chaque sommet de $\Gamma(f)$ est accessible depuis un sommet qui possÃ¨de
 une boucle nÃ©gative.
 \end{enumerate}
 Alors, $\textsc{giu}(f)$ est fortement connexe.
-\end{theorem}
+\end{restatable}
 
 La preuve de ce thÃ©orÃ¨me est donnÃ©e en annexe~\ref{anx:sccg}.
 
-Illustrons ce thÃ©orÃ¨me par un exemple. On considÃ¨re par le graphe d'interactions 
+Illustrons ce thÃ©orÃ¨me par un exemple. On considÃ¨re le graphe d'interactions 
 $\Gamma(f)$ donnÃ© en figure~\ref{fig:Adrien:G}. 
 Il vÃ©rifie le thÃ©orÃ¨me~\ref{th:Adrien}: 
 toutes les fonctions $f$ possÃ©dant un tel graphe d'interactions
@@ -90,4 +91,3 @@ Deux fonctions sont Ã©quivalentes si leurs \textsc{giu} sont isomorphes
   \end{center}
 \caption{Exemple de graphe d'interactions vÃ©rifiant le thÃ©orÃ¨me~\ref{th:Adrien}} \label{fig:Adrien:G}
 \end{figure}
-
