diff --git a/qualdev/compte_rendu.txt b/qualdev/compte_rendu.txt
old mode 100644
new mode 100755
index ecb5da9d894ba4ea5c2fa85d3d4b6552ff4c7bfa..7679a58bad6c11a9ef148a6b586afac52af82234
--- a/qualdev/compte_rendu.txt
+++ b/qualdev/compte_rendu.txt
@@ -12,4 +12,15 @@
 
 - Comment vérifier que le commit a bien été effectué et que le dépôt local est bien à jour ? : git log
 
+- Lier votre dépôt local à ce dépôt distant. : git remote rename origin old-origin
+git remote add origin https://gitlab.univ-lorraine.fr/e79583u/typescript_barre_milo.git
+git push --set-upstream origin --all
+git push --set-upstream origin --tags
+
+- Comment vérifier que le dépôt local est bien lié au dépôt distant ? : Sur Gitlab, verifier que les dossiers présents sur l'ordinateurs sont les memes.
+
+- Mettre à jour le dépôt distant avec les modifications locales : git push
+
+- Comment vérifier que le dépôt distant et le dépôt local sont synchronisés ? : gitlog, il nous affiche bien que les deux sont synchronisés grace au nom d'utilisateur et a l'adresse mail
+
 glpat-eJbQS_QCTecmKWsJe4Ko