X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/d69000ebda300fc836232f34cebb88ddfce4ac98..749714e242c186d9017fa85964d6c67edf1bf4d1:/main.tex?ds=inline

diff --git a/main.tex b/main.tex
index 628e4f9..1c00650 100644
--- 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}