retouche preuve gray

[hdrcouchot.git] / main.tex

diff --git a/main.tex b/main.tex
index e2161f192f69be5ec818f9b6e20098621d2abb20..1c00650ceef48889ac2cb87e81d53c5d938256e6 100644 (file)
--- a/main.tex
+++ b/main.tex
@@ -376,8 +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}
 \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}
 \input{annexePreuveStopping}
 
 \chapter{Preuves sur le marquage de média}\label{anx:marquage}


@@ -391,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}