\newtheorem{theorem}{Théorème}
\newtheorem{lemma}{Lemme}
+\newtheorem{corollary}{Corollaire}
\newtheorem*{xpl}{Exemple}
\newtheorem*{Proof}{Preuve}
\newtheorem{Def}{Définition}
\chapter{Caractérisation des générateurs chaotiques}
\input{15RairoGen}
+\chapter{Engendrer une classe de générateurs}
+\input{14Secrypt}
\part{Conclusion et Perspectives}
+
+
+
\JFC{Perspectives pour SDD->Promela}
Among drawbacks of the method, one can argue that bounded delays is only
realistic in practice for close systems.
Ajouter lefait que le codede gray n'est pas optimal.
On pourrait aussi travailler à établir un classement qui préserverait
le fait que deux configurations voisines seraient représentées
-par deux entiers voisins.
+par deux entiers voisins. Par optimisation?
-
+\JFC{Perspectives pour les générateurs} : marcher ou sauter... comment on
+pourrait étendre, ce que l'on a déjà, ce qu'il reste à faire.
+% TSI 2015