\newtheorem{lemma}{Lemme}
\newtheorem{corollary}{Corollaire}
\newtheorem*{xpl}{Exemple}
-\newtheorem*{Proof}{Preuve}
+
\newtheorem{Def}{Définition}
\begin{document}
\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{annexePreuveStopping}