\in \mathcal{P}(\{1, \ldots, {\mathsf{N}}\})^{\Nats}$,
les
configurations $x^t$ sont définies par la récurrence
-\begin{equation}\label{eq:asyn}
+\begin{equation}\label{eq:asyn:g}
x^{t+1}=F_{f_g}(s_t,x^t).
\end{equation}
Soit alors $G_{f_g}$ une fonction de $\Bool^{\mathsf{N}} \times \mathcal{P}(\{1, \ldots, {\mathsf{N}}\})^{\Nats}$
\end{theorem}
\begin{theorem}
-\label{Prop: T est dans R} $\mathcal{T} \subset \mathcal{R}$.
+\label{Prop: T est dans R:g} $\mathcal{T} \subset \mathcal{R}$.
\end{theorem}
\begin{theorem}%[Characterization of $\mathcal{C}$]
-\label{Th:CaracIC}
+\label{Th:CaracIC:g}
Soit $f:\Bool^{\mathsf{N}}\to\Bool^{\mathsf{N}}$. La fonction $G_{f_g}$ est chaotique
si et seulement si $\textsc{gig}(f)$ est fortement connexe.
\end{theorem}
