X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/2b04820abccb0772b10b2c53542ecddc6a6f600c..9ed4f504a9b9dd9704b62305d743e177a9ae6f72:/main.tex?ds=inline

diff --git a/main.tex b/main.tex
index c16595e..ce52fff 100644
--- a/main.tex
+++ b/main.tex
@@ -183,19 +183,29 @@ de l'asynchronisme en terme de vitesse de convergence.
 
 \chapter{Preuves sur les SDD}
 
-\section{Théorème~\ref{th:Adrien}}\label{anx:sccg}
-\input{annexesccg}
+\section{Convergence du mode mixe}\label{anx:mix}
+\input{annexePreuveMixage}
+
+
+\section{Correction et complétude de la 
+  vérification de convergence par SPIN}\label{anx:promela}
+\input{annexePromelaProof}
+
+
+
+\chapter{Preuves sur les systèmes chaotiques}
+
 
 \section{Continuité de $G_f$ dans $(\mathcal{X},d)$}\label{anx:cont}
 \input{annexecontinuite.tex}
 
 
-\section{Convergence du mode mixe}\label{anx:mix}
-\input{annexePreuveMixage}
+
+\section{Théorème~\ref{th:Adrien}}\label{anx:sccg}
+\input{annexesccg}
+
 
 
-\section{Correction et complétude de la vérification de convergence par SPIN}\label{anx:promela}
-\input{annexePromelaProof}
 
 \backmatter