de $[\mathsf{N}]$), on peut définir
la fonction $F_{f_u}: \Bool^{\mathsf{N}} \times [\mathsf{N}]$
vers $\Bool^\mathsf{N}$ par
-\[
+
+\begin{equation}
F_{f_u}(x,i)=(x_1,\dots,x_{i-1},f_i(x),x_{i+1},\dots,x_\mathsf{N}).
-\]
+\label{eq:iterations:unaires}
+\end{equation}
Dans le schéma des itérations unaires pour une configuration initiale
$x^0\in\Bool^\mathsf{N}$ et une stratégie $s\in
