docker-install.md

@@ -2,7 +2,7 @@ Install git, docker and docker-compose
   
 Fetch the source:  
 
-    $ git clone git@gitlab.inria.fr:scripta/escriptorium.git  `
+    $ git clone https://gitlab.inria.fr/scripta/escriptorium.git
   
 Copy the environement variables file