stopping time jet 1

[hdrcouchot.git] / 11FCT.tex

diff --git a/11FCT.tex b/11FCT.tex
index 8ab511ed51018c6923b80a45a1d48d801543aefd..ffa577564a7e9045d5b64f3d78da4027b4eba2ce 100644 (file)
--- a/11FCT.tex
+++ b/11FCT.tex
@@ -73,7 +73,7 @@ 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 
 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.
 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.


@@ -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}
   \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}
 
 \end{figure}