diff --git a/docs/bocal/bocal422.tml b/docs/bocal/bocal422.tml
index 5f6a354..33331f8 100644
--- a/docs/bocal/bocal422.tml
+++ b/docs/bocal/bocal422.tml
@@ -24,9 +24,7 @@ lui, est accessible via Shilt+6. Ainsi par exemple
 
 <pre>
 Compose " e donne ë
-
 Compose ` A donne À
-
 Compose ^ u donne û
 </pre>
 
diff --git a/docs/bocal/bocal423.tml b/docs/bocal/bocal423.tml
new file mode 100644
index 0000000..882890d
--- /dev/null
+++ b/docs/bocal/bocal423.tml
@@ -0,0 +1,72 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<!DOCTYPE html
+  PUBLIC "-//ENS/Tuteurs//DTD TML 1//EN"
+  "tuteurs://DTD/tml.dtd">
+<html>
+  <head>
+    <title>BOcal 423</title>
+  </head>
+  <body>
+
+
+<h1>Comment utiliser les imprimantes des salles informatique
+en libre service.</h1>
+
+<p> L'impression  est  hélas  une  des man&oelig;uvres les plus compliquées
+sur les stations Unix.  En  fait,  tout dépend  du  type  de document que
+vous voulez imprimer.</p>
+
+<ul>
+<li>
+Le cas le plus simple : certains programmes ont une fonction «imprimer». 
+C'est par exemple le cas de Pine  (touche <code>%</code>,  puis
+choisissez  l'imprimante) ou Mozilla (menu Fichier).</li>
+
+<li>
+Presque aussi simple : vous aurez parfois à manipuler des fichiers
+  PostScript,  reconnaissables  à  l'extension .ps. Ces fichiers sont
+directement imprimables  (PostScript est  en  fait  le  langage naturel
+de  l'imprimante).  Pour  imprimer ces fichiers, la bonne commande est
+<code>lpr</code> : par  exemple,  si  votre  fichier  s'appelle
+<code>rapport.ps</code>, tapez dans
+un terminal la commande suivante : <pre>lpr rapport.ps</pre><br />
+
+Si vous voulez épargner à la fois la forêt amazonienne, vos vertèbres
+fragiles, et le budget de papier de l'École (4 tonnes de papier  l'année
+dernière !),  vous  voudrez imprimer  en  recto-verso ;  c'est  à
+peine plus compliqué : <pre>lpr -Zdouble rapport.ps</pre></li>
+
+<li>
+Si  vous  avez  utilisé  LaTeX,  vous  êtes l'heureux possesseur d'un
+fichier rapport.dvi. Pour l'imprimer, la commande est la suivante,
+toujours à taper dans un terminal : dvips rapport.dvi<br />
+
+Pour  le  recto-verso,  ça  se  complique  un chouïa : il faudra d'abord
+convertir votre fichier  rapport.dvi en un fichier PostScript, puis
+imprimer  ce  dernier  en recto-verso  de  la  façon  décrite ci-dessus.
+La commande de conversion est : <pre>dvips rapport.dvi -o</pre>
+<br />
+Elle  vous  crée  un  fichier  rapport.ps qu'il  ne  vous  reste  plus
+qu'à  imprimer.</li>
+
+<li>Pour  les  autres  types  de  fichier :  cette colonne étant trop
+  courte, nous ne pouvons  pas  tout  décrire ;  demandez  de l'aide aux
+tuteurs autour de vous.<br /> Enfin,  <strong>n'imprimez  pas  tous  vos
+courriers électroniques</strong> en salle S, en particulier  si  vous
+êtes  logué  depuis  chez  vous. Non seulement c'est du gâchis de papier,
+mais en plus n'importe qui peut les lire, et la  rédac' du  BOcal peut
+aller  jusqu'à  les publier (quand une page n'est pas complète, ces
+gens-là sont prêts à tout...)</li>
+</ul>
+
+<p class="auteur">
+la rédac', pour les tuteurs informatique
+</p>
+
+
+    <div class="metainformation">
+      Auteur : Joël Riou. Dernière modification le 2002-11-16.
+    </div>
+
+  </body>
+</html>
