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{lemma}{Lemme}
 \newtheorem{corollary}{Corollaire}
 \newtheorem*{xpl}{Exemple}

-\newtheorem*{Proof}{Preuve}
+

 \newtheorem{Def}{Définition}
 
 \begin{document}
 \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}
 
 \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}
 \input{annexePreuveGrayEquilibre}

+
+\section{Majoration du temps d'arrêt}

 \input{annexePreuveStopping}
 
 \chapter{Preuves sur le marquage de média}\label{anx:marquage}
 \input{annexePreuveStopping}
 
 \chapter{Preuves sur le marquage de média}\label{anx:marquage}


@@ -390,7 +394,7 @@ du chapitre 8}
 \input{annexePreuveMarquageCorrectioncompletude}
 \backmatter
 
 \input{annexePreuveMarquageCorrectioncompletude}
 \backmatter
 

-\section{Complexité d'Algorithmes de stéganographie}
+\section{Complexités d'algorithmes de stéganographie}

 \label{anx:preuve:cplxt}
 \input{annexePreuvesComplexiteStego}
 
 \label{anx:preuve:cplxt}
 \input{annexePreuvesComplexiteStego}