procedure:ajouter_un_utilisateur_git