diff --git a/doc-interne.tml b/doc-interne.tml
index cc9f51a..c278475 100644
--- a/doc-interne.tml
+++ b/doc-interne.tml
@@ -58,13 +58,14 @@
   sans clé ssh — du moins, il y a une magouille dans le Makefile qui
   essaie de faire en sorte que ça marche (mais elle ne marche pas, 
   méthode à éviter pour le moment donc).
-</p>-->
+</p>
    
 <p>
   On peut aussi (ce n'est guère utile qu'aux gens qui n'ont plus de
   compte clipper) cloner le dépôt git sur le compte <code>tuteurs</code>
   lui-même, par exemple dans <code>tmp/moi</code>.
 </p>
+-->
 
 <div class="attention">
   <p>