merge pull request Denis

depot_local.md

@@ -30,7 +30,7 @@ peut rien casser.  N'hésitez donc pas à la lancer pour voir où vous en êtes.
 
 ![](depot_local_02.png)
 
-La command `git ls-files` affiche la liste des fichiers versionnés.
+La commande `git ls-files` affiche la liste des fichiers versionnés.
 
 ## Ajouter des fichiers dans le dépôt
 

index.md

@@ -40,8 +40,8 @@ en parallèle »
 que j'indique ».
 
 ## Dans quels cas ne pas utiliser Git/Gogs ?
-- édition collaborative en temps-réel -> sharelatex
-- partage de fichiers "au plus simple" -> dropbox, seafile, serveur FTP/HTTP...
+- édition collaborative en temps-réel → sharelatex
+- partage de fichiers "au plus simple" → dropbox, seafile, serveur FTP/HTTP...
 - fichiers dans un format non textuel (word, excel, PDF...) 
 
 ## Concepts de base