et la fonction d'iteration $G_{f_u}$ définie de
$\mathcal{X}_u$
dans lui-même par
-\[
+\begin{equation}
G_{f_u}(x,s)=(F_{f_u}(x,s_0),\sigma(s)).
-\]
+\label{eq:sch:unaire}
+\end{equation}
Dans cette définition, la fonction
$\sigma: \llbracket1;{\mathsf{N}}\rrbracket^{\Nats} \longrightarrow