allpositive(S4).
\end{lstlisting}
\end{scriptsize}
-\caption{Prolog Problem to Find DSSC Matrix when $n=2$}\label{fig:prolog}
+\caption{Code PROLOG permettant de trouver toutes les matrices DSSC pour $n=2$}\label{fig:prolog}
\end{figure}
Enfin, on définit la relation $\mathcal{R}$, qui est établie pourles deux
(donné à la Figure~\ref{fig:iteration:f*})
est le $3$-cube dans lequel le cycle
$000,100,101,001,011,111,110,010,000$
-a été enlevé.
+a été enlevé. Dans cette figure, le le graphe $\textsc{giu}(f)$ est
+en continu tandis que le cycle est en pointillés.
Ce cycle qui visite chaque n{\oe}ud exactement une fois est un
\emph{cycle hamiltonien}.
La matrice de Markov correspondante est donnée à
\label{fig:iteration:f*}]{
\begin{minipage}{0.55\linewidth}
\centering
- \includegraphics[width=\columnwidth]{images/iter_f0c}%
+ \includegraphics[width=\columnwidth]{images/iter_f0d}%
\end{minipage}
}%
\subfigure[Matrice de Markov associée à $\textsc{giu}(f^*)$