retouche preuve gray

[hdrcouchot.git] / main.tex

diff --git a/main.tex b/main.tex
index 628e4f928ad5db8df686017ce04a7c0a2e2c1381..1c00650ceef48889ac2cb87e81d53c5d938256e6 100644 (file)
--- a/main.tex
+++ b/main.tex
@@ -157,7 +157,7 @@
 \newtheorem{lemma}{Lemme}
 \newtheorem{corollary}{Corollaire}
 \newtheorem*{xpl}{Exemple}
-\newtheorem*{Proof}{Preuve}
+
 \newtheorem{Def}{Définition}
 
 \begin{document}
@@ -376,7 +376,11 @@ du chapitre 8}
 
 \chapter{Preuves sur les générateurs de nombres pseudo-aléatoires}\label{anx:generateur}
 \input{annexePreuveDistribution}
+
+\section{Codes de Gray équilibrés par induction}
 \input{annexePreuveGrayEquilibre}
+
+\section{Majoration du temps d'arrêt}
 \input{annexePreuveStopping}
 
 \chapter{Preuves sur le marquage de média}\label{anx:marquage}
@@ -390,7 +394,7 @@ du chapitre 8}
 \input{annexePreuveMarquageCorrectioncompletude}
 \backmatter
 
-\section{Complexité d'Algorithmes de stéganographie}
+\section{Complexités d'algorithmes de stéganographie}
 \label{anx:preuve:cplxt}
 \input{annexePreuvesComplexiteStego}