relecture depot distant (pas fini)

depot_distant.md

@@ -11,9 +11,9 @@ output:
 Git permet de synchroniser un dépôt local avec un dépôt distant (sur un
 serveur).  Ceci permet d'envoyer les commits locaux sur le serveur et,
 réciproquement, de récupérer les commits du serveur dans un dépôt local.
-Lorsqu'un dépôt local est synchronisé avec un serveur, une étiquette
-supplémentaire (`origin/master`) est utilisée pour indiquer le dernier commit
-du serveur.
+Lorsqu'un dépôt local est synchronisé avec un serveur, git crée et utilise une
+étiquette prédéfinie supplémentaire (`origin/master`) pour indiquer le dernier
+commit du serveur.
 
 Il existe des serveurs comme github qui permettent d'héberger
 gratuitement des dépôts publics (visibles par tout le monde).
@@ -21,7 +21,7 @@ Le serveur gogs de l'université vous permet d'héberger des dépôts publics ou
 Il dispose d'une page web vous permettant de gérer vos projets. Pour cela,
 allez à l'adresse
 [https://gogs.univ-littoral.fr](https://gogs.univ-littoral.fr) et entrez vos
-identifiants du portail :
+identifiants du portail ULCO :
 
 ![](depot_distant_01.png)
 
@@ -33,25 +33,24 @@ commits, dépôts actifs...) :
 ## Créer un dépôt sur un serveur git
 
 Pour créer un nouveau dépôt distant, allez sur le site du serveur gogs et
-cliquez "New Repository".
+cliquez "Nouveau dépôt". 
 
 ![](depot_distant_03.png)
 
-Entrez le nom du dépôt distant à créer (évitez les espaces), puis cliquez
-"Create Repository".
+Entrez le nom du dépôt distant à créer, puis cliquez "Créer un dépôt".
 
 ![](depot_distant_04.png)
 
 Le dépôt distant est alors créé et une page vous indique comment le récupérer
-localement. Attention, il y a une méthode plus simple que celle indiquée (cf
-section suivante).
+localement. Attention, il y a une méthode plus simple que celle indiquée (cf.
+[section suivante](#cloner-un-dépôt-distant-vers-un-nouveau-dépôt-local)).
 
 ![](depot_distant_05.png)
 
 Le site du serveur gogs vous permet de configurer différents paramètres
 concernant votre dépôt. Par exemple pour un dépôt privé, vous pouvez indiquer
 les personnes que vous autorisez à récupérer et à modifier le dépôt (cliquez
-"settings" puis "collaboration" puis entrez et ajoutez le login).
+"Paramètres" puis "Collaboration" puis entrez et ajoutez le login).
 
 ![](depot_distant_15.png)