refactor

docs/présentation_consistence_faible/main.tex

@@ -47,6 +47,6 @@
 % \input{introduction/index.tex}
 
 \section{Les propriétés de la Consistence faibes}
-\input{wconsitence_properties/index.tex}
+\input{wconsistence_properties/index.tex}
 
 \end{document}
\ No newline at end of file

docs/présentation_consistence_faible/wconsistency_properties/index.tex → docs/présentation_consistence_faible/wconsistence_properties/index.tex

@@ -10,7 +10,7 @@
         Toute lécture réalisé dans un même environement non-concurrent est identique.
     \end{block}
     \begin{figure}
-        \include{wconsitence_properties/linearisation_surete_hc}
+        \include{wconsistence_properties/linearisation_surete_hc}
     \end{figure}
 \end{frame}
 
@@ -20,7 +20,7 @@
         Une lécture concurrente à une écriture peut lire soit la valeur avant l'écriture, soit la valeur après l'écriture.
     \end{block}
     \begin{figure}              
-        \include{wconsitence_properties/linearisation_regularite_hc}
+        \include{wconsistence_properties/linearisation_regularite_hc}
     \end{figure}
 \end{frame}
 
@@ -30,7 +30,7 @@
         Une lécture concurrente à une écriture peut lire soit la valeur avant l'écriture, soit la valeur après l'écriture.
     \end{block}
     \begin{figure}              
-        \include{wconsitence_properties/linearisation_atomicite_hc}
+        \include{wconsistence_properties/linearisation_atomicite_hc}
     \end{figure}
 \end{frame}
 
@@ -39,7 +39,7 @@
 
     \begin{columns}
         \column{0.4\textwidth}
-        \include{wconsitence_properties/convergence_hc}%
+        \include{wconsistence_properties/convergence_hc}%
         \column{0.5\textwidth}
         Il existe un ensemble cofini d'évenements dont chacun peut être justifier par la même linéarisation. \\
         \begin{math}
@@ -75,7 +75,7 @@
 
     \begin{columns}
         \column{0.4\textwidth}
-        \include{wconsitence_properties/validite_hc}
+        \include{wconsistence_properties/validite_hc}
         \column{0.6\textwidth}
         Il existe, un ensemble cofini d'évenement tels que pour chacun d'entre eux une linéarisations de toutes les opérations d'écriture les justifient. \\
         \begin{math}
@@ -111,7 +111,7 @@
 
     \begin{columns}
         \column{0.4\textwidth}
-        \include{wconsitence_properties/localiteetat_hc}
+        \include{wconsistence_properties/localiteetat_hc}
         \column{0.6\textwidth}
         Pour tout processus $p$, il existe une linéarisation contenant toutes les lectures pures de $p$ rendant l'histoire cohérente. \\
         \begin{math}