X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/4e673fe23eacd3db39c4bc51610f1650c372b13c..e760413d8a2e7bc9385c7fd3e94e629b4edee6e7:/11FCT.tex?ds=sidebyside

diff --git a/11FCT.tex b/11FCT.tex
index 8ab511e..0e9c64f 100644
--- a/11FCT.tex
+++ b/11FCT.tex
@@ -73,14 +73,14 @@ Alors, $\textsc{giu}(f)$ est fortement connexe.
 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 
-$\Gamma(f)$ donnÃ© en figure~\ref{fig:G}. 
+$\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
 ont un graphe d'itÃ©rations  $\textsc{giu}(f)$ fortement connexe.
 Pratiquement, il existe 34226 fonctions de $\Bool^4$ dans lui mÃªme qui 
 vÃ©rifient ce graphe d'intÃ©raction. 
 Cependant, nombreuses sont celles qui possÃ¨dent un comportement Ã©quivalent.
-Deux fonctions sont equivalentes si leurs \textsc{giu} sont isomorphes 
+Deux fonctions sont Ã©quivalentes si leurs \textsc{giu} sont isomorphes 
 (au sens de l'isomorphisme de graphes). Il ne reste alors plus que 
 520 fonctions $f$ non Ã©quivalentes de graphe d'interactions $\Gamma(f)$.
 
@@ -88,6 +88,6 @@ Deux fonctions sont equivalentes si leurs \textsc{giu} sont isomorphes
   \begin{center}
     \includegraphics[scale=0.5]{images/Gi.pdf}
   \end{center}
-\caption{Exemple de graphe d'interactions vÃ©rifiant le thÃ©orÃ¨me~\ref{th:Adrien}} \label{fig:G}
+\caption{Exemple de graphe d'interactions vÃ©rifiant le thÃ©orÃ¨me~\ref{th:Adrien}} \label{fig:Adrien:G}
 \end{figure}
 
