Dans le schéma généralisé, à la $t^{\textrm{ème}}$ itération,
c'est l'ensemble
des $s_{t}^{\textrm{ème}}$ éléments (inclus dans $[n]$) qui
-sont mis à jour (c.f. équation~(\ref{eq:schema:generalise})).
+sont mis à jour (cf. équation~(\ref{eq:schema:generalise})).
On redéfinit la fonction la fonction
$F_{f_g}: \Bool^{\mathsf{N}} \times \mathcal{P}(\{1, \ldots, \mathsf{N}\})
\rightarrow \Bool^{\mathsf{N}}$ par
$X^0=(x^0,S)$
-On onstruit cette fois-ci l'espace
+On construit cette fois ci l'espace
$\mathcal{X}_g = \Bool^{\mathsf{N}} \times
\mathcal{P}(\{1, \ldots, {\mathsf{N}}\})^{\Nats}$
