\subsection*{Cohérence forte}
\include{consistency/forte.tex}

\subsection*{Les compromis de la cohérence faible}
\include{consistency/faible.tex}

\subsection*{Dans un contexte malveillant ?}
\include{consistency/byzantin.tex}