\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,
