correction

README.md

@@ -143,7 +143,7 @@ On doit donc enregistrer les valeurs du capteur dans une file d'attente ``Queue<
 Pour que les canaux soient synchronisés, on a une liste ``List<Future<?>> futures`` qui stocke les Future en cours de traitement (cette liste a donc au maxium comme taille le nombre de canaux).
 À chaque appel de ``execute()``, on retire de la liste les Future terminés, quand la liste est vide alors ils sont tous terminés, on retire l'élément à la file d'attente, et on relance des nouveaux Future en faisant un ``update()`` sur chaque canal.
 
-### - Diffusion Sequencielle :
+### - Diffusion Séquentielle :
 
 Ici, il faut simplement que les afficheurs aient des valeurs synchronisées et que les valeurs soient dans l'ordre chronologique. On n'a donc pas besoin d'afficher toutes les valeurs du capteur.
 
@@ -182,7 +182,7 @@ Notre capteur envoie des valeurs de 1 en 1 à chaque ticket en commençant par 1
 On a deux oracles : 
 - Un qui vérifie que les éléments sont strictement croissants de 1 en 1 en commençant par 1
 - Et un second qui vérifie que tous les canaux ont les mêmes éléments entre eux.
-#### - Diffusion Sequencielle
+#### - Diffusion Séquentielle
 On a deux oracles : 
 - Un qui vérifie que les éléments sont strictement croissants.
 - Et un second qui vérifie que tous les canaux ont les mêmes éléments entre eux.