\label{def:dhCI:ext}
Soit un hôte $x$, $u_m$ les indices de ses bits modifiables,
$\phi_{m}$ leur valeur,
- $y$ un message, $q$ un nombre d'itération.
+ $y$ un message, $q$ un nombre d'itérations.
L'algorithme d'embarquement retourne le
résultat de l'embarquement de $\hat{y}$ dans $x$, t. q.:
\begin{itemize}
$\textsc{giu}(f_l)$ fortement connexe et a une
matrice de Markov doublement stochastique.
\begin{itemize}
-\item Le marquage est $\epsilon$-stégo sécure.
-\item Le marquage est chaos sécure.
+\item Le marquage est $\epsilon$-stégo sécurisé.
+\item Le marquage est chaos sécurisé.
\end{itemize}
\end{theorem}
\begin{itemize}
\item Particularisation dans différents domaines (spatial, fréquentiel).
-\item Robustesse evaluée.
+\item Robustesse évaluée.
\end{itemize}
