X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/44a56c5eb4a1dfdf7dc67735c5c00f478cef2ede..refs/heads/master:/talk/preuveconvmotiv.tex

diff --git a/talk/preuveconvmotiv.tex b/talk/preuveconvmotiv.tex
index f6540e9..0e8c621 100644
--- a/talk/preuveconvmotiv.tex
+++ b/talk/preuveconvmotiv.tex
@@ -2,10 +2,10 @@
 \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.
