\begin{block}{}
 \begin{algorithm}[H]
\ldots\For{$i=1,\dots,k$}
{
$s\leftarrow{\textit{Set}(\textit{Random}(2^{\mathsf{N}}))}$\;
$x\leftarrow{F_{f_g}(x,s)}$\;
}\ldots
\end{algorithm}
\end{block}

\begin{theorem}[Uniformité de la sortie ds le cas généralisé]
  % Soit $f: \Bool^{{\mathsf{N}}} \rightarrow \Bool^{{\mathsf{N}}}$ et
  % $\check{M}$ sa matrice d'adjacence.
  Si $\textsc{gig}(f)$ est fortement connexe, alors 
  la sortie du PRNG suit une loi qui 
  tend vers la distribution uniforme 
  ssi  $\dfrac{1}{2^{\mathsf{N}}} \check{M}
$ est une matrice doublement stochastique.
\end{theorem}

\begin{block}{Nombre moyen d'appels à un générateur binaire par bit généré}
\begin{itemize}
\item Unaires:$\nearrow$
\item Généralisées: $\searrow$
\end{itemize}




\end{block}
