\begin{itemize}
\item Conditions suffisantes de convergence: facile à appliquer,
domaine restreint.
-\item Recherche d'une métrique decroissante minorée: difficile.
+%\item Recherche d'une métrique decroissante minorée: difficile.
\item Simulations:
\begin{itemize}
-\item Non exhaustives pour les schémas généralisés et asynchrones.
+\item Non exhaustives pour les schémas unaires, généralisés, asynchrones\ldots
\item Verdict $\leftrightarrow$ vérité ssi divergence (contre-exemple).
\end{itemize}
\item Souhait: exploiter un outil qui traiterait toutes les transitions.
