X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/75aa438e61284f634375e2c1e62c79f2af12678f..d81b15b2024adaf639e9d4a85934a5b5722c1bf1:/main.tex

diff --git a/main.tex b/main.tex
index 628e4f9..e2161f1 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,6 +376,7 @@ 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}
 \input{annexePreuveStopping}