\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}
\input{annexePreuveMarquageCorrectioncompletude}
\backmatter
-\section{Complexité d'Algorithmes de stéganographie}
+\section{Complexités d'algorithmes de stéganographie}
\label{anx:preuve:cplxt}
\input{annexePreuvesComplexiteStego}