resumes retraités

[hdrcouchot.git] / talk / synchronisons.tex

diff --git a/talk/synchronisons.tex b/talk/synchronisons.tex
index 7350d2a75e5be74352f8ec060d53a150cb9580dd..06913a8981ca808675e551db02a10807fba5dd87 100644 (file)
--- a/talk/synchronisons.tex
+++ b/talk/synchronisons.tex
@@ -8,7 +8,7 @@ des n{\oe}uds qui pourraient introduire des cycles.
 \item Relation de synchronisation:  $i \eqNode j$ 
   si $i$ et $j$  dans la même CFC du graphe des interactions.
 \end{itemize}
 \item Relation de synchronisation:  $i \eqNode j$ 
   si $i$ et $j$  dans la même CFC du graphe des interactions.
 \end{itemize}

-\begin{theorem}[~\cite{BCVC10:ir}]
+\begin{theorem}[Convergence des itérations mixtes~\cite{BCVC10:ir}]

   Soit $f$ possédant un unique point fixe $x^*$ et une stratégie 
   pseudo-périodique $s$.
   Si les itérations synchrones convergent vers $x^*$ pour cette stratégie, 
   Soit $f$ possédant un unique point fixe $x^*$ et une stratégie 
   pseudo-périodique $s$.
   Si les itérations synchrones convergent vers $x^*$ pour cette stratégie,