preuve promela traduite

[hdrcouchot.git] / main.tex

diff --git a/main.tex b/main.tex
index c6f86cdb58d240e7f10d3f42b976cbdf846403fc..33a3ba1b69e15e5e583328b8d5dd64b4ad69585c 100644 (file)
--- a/main.tex
+++ b/main.tex
@@ -172,7 +172,7 @@ Blabla blabla.
 
 \mainmatter
 
-\part{Réseaux Discrets}
+\part{Réseaux discrets}
 
 \chapter{Iterations discrètes de réseaux booléens}
 
@@ -182,8 +182,8 @@ les différents modes opératoires, leur représentation à l'aide de
 graphes et les résultats connus de convergence).
 Ce chapitre montre ensuite à la section~\ref{sec:sdd:mixage}
 comment combiner ces modes pour converger aussi 
-souvent sans, mais plus rapidement. Cette dernière section 
-a fait l'objet du rapport~\cite{BCVC10:ir}.
+souvent, mais plus rapidement vers un point fixe. Les deux 
+dernières sections ont fait l'objet du rapport~\cite{BCVC10:ir}.
 
 \section{Formalisation}\label{sec:sdd:formalisation}
 \input{sdd}
@@ -275,7 +275,6 @@ de telles fonctions.
 
 
 \chapter{Des embarquement préservant le chaos}\label{chap:watermarking} 
-% OXFORD
 \input{oxford}
 
 \chapter{Une démarche de  marquage de PDF}
@@ -340,7 +339,7 @@ du chapitre 8}
 
 \appendix
 
-\chapter{Preuves sur les SDD}
+\chapter{Preuves sur les réseaux discrets}
 
 \section{Convergence du mode mixe}\label{anx:mix}
 \input{annexePreuveMixage}