= \mathcal{T}$. On a alors la caractérisation suivante:
\begin{theorem}%[Characterization of $\mathcal{C}$]
-\label{Th:CaracIC}
+\label{Th:CaracIC:up}
Soit $f:\Bool^{\mathsf{N}}\to\Bool^{\mathsf{N}}$. La fonction $G_{f_u}$ est chaotique
si et seulement si $\textsc{giu}(f)$ est fortement connexe.
\end{theorem}
