Home.md

@@ -148,8 +148,8 @@ Il est possible de partager son dépôt en lecture sans passer par un serveur gi
     chaque membre enregistre, et pousse ses modifications (`git push`)
     résoudre le conflits (`git fetch`, `git merge`)
 
-### Pull Requests — the GitHub/GitLab way
-* en sous-groupes (2-3 personnes), élire un nouveau dépôt central du projet *waf-c-example* sur github
+### Pull Requests — the GitHub ou Merge Requests - the GitLab way
+* en sous-groupes (2-3 personnes), élire un nouveau dépôt central du projet *waf-c-example* sur GitHub ou GitLab
 * le propriétaire supprime si nécessaire ses anciens collaborateurs (*Settings > Collaborators*)
 * les membres (sauf le propriétaire) *forkent* le projet (bouton *Fork*) puis le clonent en local
 * les membres qui ont *forké* modifient le fichier `README.md`, enregistrent, et poussent leurs modifications (vers leurs dépôts respectifs)