Merge branch 'main' of https://gitlab.iut-clermont.uca.fr/alpoint/projet-android into main

doc/.travail/.~lock.preuves.odt#

@@ -0,0 +1 @@
+,machaonix,machaonix-PC,26.03.2022 19:23,file:///home/machaonix/.config/libreoffice/4;

doc/README.md

@@ -8,3 +8,7 @@
 
 * [Explication du diagrame de classe](./explication_class.md)
 * [Explication du diagrame de cas d'utilisation](./explication_useCase.md)
+
+## Les preuves
+
+* [preuves](./preuves.pdf)

doc/explication_useCase.md

@@ -11,7 +11,7 @@ Il y a plusieurs cas du'ilisation si on choisi une granularité faible:
 
 * Jouer: L'acteur·ice peut jouer au jeu
   * Lancer le jeu: L'acteur·ice peu lancer le jeu et observer l'évolution de la population de cellules
-  * Recomencer: L'acteur·ice peut choisir de netoyer la grille tout en stopant la boucle de jeu
+  * Pause: L'acteur·ice peut choisir de mettre en pause le jeu en stopant la boucle de jeu
   * Placer une cellule: L'acteur·ice peut choisir de placer une cellule sur le plateau
 * Parametrer: L'acteur·ice doit parametrer le monde avant de jouer
   * Choisir le nombre de lignes