New spelling fixes

tutorial/docker-basis/what.md

@@ -3,14 +3,14 @@ Composition de Docker
 
 Docker est une suite d'outils de haut niveau, permettant d'utiliser des
 *conteneurs*. Le projet en lui-même utilise de nombreuses dépendances,
-originellement développées par l'entreprise Docker Inc., puis laissé dans le
+originellement développées par l'entreprise Docker Inc., puis laissées dans le
 domaine public lors des efforts de standardisation en 2015.
 
 Commençons par planter le décor, en détaillant les principes de base de Docker.
 
 ### Séparation des compétences
 
-Le projet s'article autour d'un daemon lancé au démarrage de la machine, avec
+Le projet s'articule autour d'un daemon lancé au démarrage de la machine, avec
 lequel on interagit via un client (le programme `docker`). La communication
 entre le daemon et le client s'effectuant sur une API REST généralement au
 travers d'une socket.
@@ -71,7 +71,7 @@ de nombreuses directions, chacun voulant tirer la couverture vers soi, et
 l'équipe maintenant le projet a parfois eu du mal à arbitrer les bonnes choses
 à ajouter ou non au projet.
 
-Afin de pallier aux besoins complémentaires, parfois accessoires, parfois
+Afin de pallier les besoins complémentaires, parfois accessoires, parfois
 salvateurs, un système de plugins a été intégré. Il permet d'appeler d'autres
 programmes comme s'il s'agissait de composants de Docker.
 
@@ -85,7 +85,7 @@ utilisateurs de notre machine ou dans `$HOME/.docker/` si l'on veut l'installer
 seulement pour nous.
 
 Par exemple, les plugins ajoutant des commandes iront dans
-`$HOME/.docker/cli-plugins`. Par exemple, si l'on souhaite pouvoir disposer de
+`$HOME/.docker/cli-plugins`. Si l'on souhaite pouvoir disposer de
 la commande `docker compose`, on téléchargera le plugin vers l'emplacement :
 `$HOME/.docker/cli-plugins/docker-compose`.