Linux@Arc.md

@@ -58,7 +58,7 @@ Vous pouvez demander le fichier à l'un de vos camarades ou envoyer un mail au [
 
 #### openconnect
 
-Quelque chose qui marche le 2022-08-25 (sans préciser le profil, il faudra trouver comment) est avec openconnect-sso:
+Quelque chose qui marche le 2022-08-25 sur Debian buster (sans préciser le profil, il faudra trouver comment) est avec openconnect-sso:
 
 *Installation*
 ```
@@ -68,7 +68,7 @@ export PATH=${PATH}:~/.local/bin # or pipx ensurepath
 pipx install "openconnect-sso[full]"
 ```
 
-*Script suggéré* (adapter l'argument --user; les deux work-around ne sont pas forcément nécessaire en fonction de votre installation locale)
+*Script suggéré* (adapter l'argument --user; les deux work-around ne sont pas forcément nécessaires en fonction de votre installation locale)
 ```
 schaefer@reliand:~$ cat bin/vpn 
 #! /bin/bash