reprise chap 1

[hdrcouchot.git] / main.tex

diff --git a/main.tex b/main.tex
index c16595e1021448ae0d1d8b2bf9e38216e02b5a83..ce52fff00982717267270d1e020566c5e2f7786d 100644 (file)
--- a/main.tex
+++ b/main.tex
@@ -183,19 +183,29 @@ de l'asynchronisme en terme de vitesse de convergence.
 
 \chapter{Preuves sur les SDD}
 
 
 \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{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
 
 
 \backmatter