diff --git a/doc-interne.tml b/doc-interne.tml
index d0d27f7..bd9fa49 100644
--- a/doc-interne.tml
+++ b/doc-interne.tml
@@ -114,9 +114,11 @@ $MISCPATH:\
 <p>
   (Aucun de ces programmes n'est indispensable pour modifier le site
   web. Pour travailler depuis chez soi, on a le choix de s'en passer ou
-  les récupérer avec <code>git clone tuteurs@clipper:share/tml</code> et
-  y faire les adaptations nécessaires : il y a des chemins à adapter dans
-  tml/lib/catalog.xml, ainsi que BASE dans tmlcheck, build et rebuild.)
+  de les récupérer avec <code>git clone tuteurs@clipper:share/tml</code>
+  et y faire les adaptations nécessaires : il y a des chemins à adapter
+  dans <code>tml/lib/catalog.xml</code>, ainsi que <code>$BASE</code>
+  dans <code>tmlcheck</code>, <code>build</code> et
+  <code>rebuild</code>.)
 </p>