c'est l'ensemble
des $s_{t}^{\textrm{ème}}$ éléments (inclus dans $[{\mathsf{N}}]$) qui
sont mis à jour (cf. équation~(\ref{eq:schema:generalise})).
-On redéfinit la fonction la fonction
+On redéfinit la fonction
$F_{f_g}: \Bool^{\mathsf{N}} \times \mathcal{P}(\{1, \ldots, \mathsf{N}\})
\rightarrow \Bool^{\mathsf{N}}$ par
\[
Soit alors $G_{f_g}$ une fonction de $\Bool^{\mathsf{N}} \times \mathcal{P}(\{1, \ldots, {\mathsf{N}}\})^{\Nats}$
dans lui-même définie par
\[
- G_{f_g}(S,x)=(\sigma(S),F_{f_g}(s_0,x)),
+ G_{f_g}(x,S)=(F_{f_g}(x,s_0),\sigma(S)),
\]
où la fonction $\sigma$ est définie comme à la section précédente.
A nouveau, les itérations généralisées
