%\chapter{Quelques expérimentations}
-\part{Application au masquage d'information}
+\part{Application au marquage de média}
-\chapter{Formalisation du processus d'embarquement} % OXFORD
+\chapter{Des embarquement préservant le chaos}
+% OXFORD
+\input{oxford}
\chapter{Des démarches plus classiques}
\section{QIM}
-\section{Edge Based}
-
+\section{STABYLO}
+ \input{stabylo}
\part{Conclusion et Perspectives}
\JFC{Perspectives pour les générateurs} : marcher ou sauter... comment on
pourrait étendre, ce que l'on a déjà, ce qu'il reste à faire.
+
+
+\JFC{prespectives watermarking : réécrire l'algo nicolas dans le formalisme
+du chapitre 8}
+
% TSI 2015
\input{annexePreuveDistribution}
\input{annexePreuveStopping}
+\chapter{Preuves sur le marquage de média}\label{anx:marquage}
+\section{Le marquage est $\epsilon$-sego-secure}
+\input{annexePreuveMarquagedhci}
+
+\section{Le mode $f_l$ est doublement stochastique}\label{anx:marquage:dblesto}
+\input{annexePreuveMarquagefldblement}
+
+\section{Le marquage est correct et complet}\label{anx:preuve:marquage:correctioncompletue}
+\input{annexePreuveMarquageCorrectioncompletude}
\backmatter
\bibliographystyle{apalike}