\begin{frame}
    \frametitle{Les classes de cohérences}
  
    \begin{columns}
      \column{0.6\textwidth}

      \begin{figure}
        \resizebox{\columnwidth}{!}{
          \includegraphics{images/carte_criteres.png}
        }
        \caption{Perrin, \emph{Concurrence et cohérence dans les systèmes répartis}, 2017}
      \end{figure}
  
      \column{0.4\columnwidth}
      \begin{block}{Les classes de cohérences}
        Deux grandes familles :
        \begin{itemize}
          \item Cohérence Forte
          \item Cohérence Faible :
          \begin{itemize}
            \item Convergence (EC)
            \item Localité d'état (SL)
            \item Validité (V)
          \end{itemize}
        \end{itemize}
      \end{block}
    \end{columns}
  \end{frame}
  
  \begin{frame}
    \frametitle{Convergence (EC)}
  
    \begin{block}{Définition}
        Les \textbf{lectures infinies} d'un document n'étant plus soumis à \textbf{aucune opération d'écriture} doit retourner pour tout nœud du système \textbf{la même valeur}. 
    \end{block}
  
    \begin{figure}
      \centering
      \resizebox{0.7\columnwidth}{!}{
        \begin{tcolorbox}[colframe=green!50!black]
          \input{schemas/convergence}
        \end{tcolorbox}
      }
    \end{figure}
    
  \end{frame}

  \begin{frame}
    \frametitle{Localité d'état (SL)}
  
    \begin{block}{Définition}
      Chaque processus, indépendamment des autres, doit garder une cohérence de ses lectures en fonction de leurs ordres locaux.
    \end{block}
  

    \begin{figure}
      \centering
      \resizebox{0.7\columnwidth}{!}{
        \begin{tcolorbox}[colframe=green!50!black]
          \input{schemas/localiteetat}
        \end{tcolorbox}
      }
    \end{figure}
  \end{frame}
  
  \begin{frame}
    \frametitle{Validité (V)}
  
    \begin{block}{Definition}
        Chaque lecture doit résulter d'une suite d'opérations d'écriture valides impliquant l'ensemble des opérations d'écriture connue par le nœud à cet instant.
    \end{block}
  

    \begin{figure}
      \centering
      \resizebox{0.7\columnwidth}{!}{
        \begin{tcolorbox}[colframe=green!50!black]
          \input{schemas/validite}
        \end{tcolorbox}
      }
    \end{figure}
  \end{frame}