preuve de l'existence (sans construction) de cycle hamiltonien équilibré.
\begin{theorem}[Constr. de cycle hamiltonien équilibré~\cite{ccgh16}]
-Il existe une séquence (et construction de celle-ci) dans de l'extension
+Il existe une séquence (et construction de celle-ci) dans l'extension
de l'algorithme de \emph{Robinson-Cohn} telle que le cycle est équilibré.
\end{theorem}
