\begin{itemize}
\item Intuition: 
  \begin{itemize}
  \item N{\oe}uds problématiques: regroupés et synchronisés
  \item N{\oe}uds entre les groupes distincts: laisser l'asynchronisme 
  \end{itemize}
\item Formalisation:
  \begin{itemize}
  \item Regroupement selon les composantes connexes (SCC) du graphe de connection
  \item Mode mixe:
    \begin{itemize}
    \item $S_{ij}^t = t$ si $i \in SCC(j)$.
    \item $
      \begin{array}{l}
      \forall p_0,p_1,q_0,q_1,t \, .\,  
      \quad ( 
      p_1 \in SCC(p_0) \land  
      q_1 \in SCC(q_0))\\
      \qquad \Rightarrow 
      S_{p_0q_0}^{t}  = 
      S_{p_1q_1}^{t}  
    \end{array}
    $
    \end{itemize}
  \end{itemize}
\item Elements d'un même groupe: équivalents de l'extérieur.
\end{itemize}
