Texte en « span code »

depot_distant.md

@@ -64,7 +64,7 @@ les personnes que vous autorisez à récupérer et à modifier le dépôt (cliqu
 La commande `git clone ...` permet de récupérer un dépôt distant sur votre
 machine. C'est la méthode la plus simple pour récupérer un dépôt. 
 Pour éviter d'avoir à retaper votre login sans arrêt, pensez à l'ajouter après
-le « https:// » lors du clone (vous pouvez également l'ajouter plus tard, dans le
+le « `https://` » lors du clone (vous pouvez également l'ajouter plus tard, dans le
 fichier `.git/config`). 
 
 ![](depot_distant_06.png)