Ajout du numéro 8 du hublot

homogénéisation des rubriques Lexique

docs/hublot/hublot06.tml

@@ -815,7 +815,7 @@ fructueux.
 
 <dl>
 
-<dt><strong>Man (manuel)</strong></dt><dd> C'est
+<dt><strong>Man (manuel)</strong></dt><dd> <p>C'est
 un ensemble de documentations, en anglais, pour chacune des commandes Unix
 existantes. Par exemple, pour la page de man de <code>rm</code>, tapez
 <code>man rm</code>. Les commandes de déplacement, recherche, etc, sont
@@ -823,13 +823,14 @@ celles de <code>less</code> (voir les <a
 href="&url.tuteurs;unix/exercices/less.html"
 >exercices sur <code>less</code></a>). Le man est une référence,
 et pas un guide d'apprentissage. Il est donc souvent difficile à comprendre
-quand on débute...</dd>
+quand on débute...</p></dd>
 
-<dt><strong>Swap</strong></dt><dd> Zone du disque
+<dt><strong>Swap</strong></dt><dd><p> Zone du disque
 dur où le système stocke automatiquement la mémoire peu utilisée, afin de
 garder la vraie mémoire, rapide, pour ce qui sert vraiment. Par exemple, un
 terminal auquel on n'a pas touché depuis longtemps est souvent vidé de la
-mémoire, et met quelques secondes à revenir quand on veut s'en servir.
+mémoire, et met quelques secondes à revenir quand on veut s'en
+servir.</p>
 </dd></dl>
 
 <h2>Calendrier des stages (mai--juin 2000)</h2>

docs/hublot/hublot07.tml

@@ -1201,8 +1201,8 @@ articles
 
 <h2>Lexique</h2>
 
-
-<h4>Cache</h4><p> Le cache est
+<dl>
+<dt><strong>Cache</strong></dt><dd><p> Le cache est
 un espace de stockage où le navigateur garde une copie des pages récemment
 visitees, afin d'accélérer leur chargement lors de la consultation suivante
 (il suffit alors de vérifier que la page n'a pas changé plutôt que de la
@@ -1214,9 +1214,9 @@ Il y a en fait deux types de cache: d'une part un cache en m
 ne conserve les données que durant une session de navigation, et d'autre part
 un cache disque (parfois désactivé pour économiser de la place) qui est
 conservé d'une session à l'autre.
-</p>
+</p></dd>
 
-<h4>Exécutable</h4><p> Il
+<dt><strong>Exécutable</strong></dt><dd><p> Il
 existe deux sortes de langages de programmation: les langages compilés et les
 langages interprétés. Les langages compilés fonctionnent selon le principe
 suivant: le programmeur écrit le code du programme, puis on passe par une
@@ -1228,10 +1228,10 @@ humain, mais compr
 Quand vous achetez un logiciel dans le commerce, vous achetez un exécutable
 produit à partir d'un code source, dont vous ne disposez pas. Vous pouvez
 utiliser le logiciel, le recopier, mais pas le modifier. Ce n'est pas vrai
-pour les logiciels libres.  </p>
+pour les logiciels libres.  </p></dd>
 
 
-<h4>Libre</h4><p> Un logiciel
+<dt><strong>Libre</strong></dt><dd><p> Un logiciel
 libre est un logiciel que l'on peut copier, modifier et distribuer librement.
 Le modifier implique de pouvoir disposer du code source du logiciel, et pas
 seulement de l'exécutable*. On peut revendre commercialement un logiciel
@@ -1244,18 +1244,18 @@ L
 copyright): en plus d'être libre, le logiciel est sous une licence (telle que
 la GPL) qui garantit que les versions dérivées seront également libres. Des
 exemples de logiciels libres: pine, mutt, L<sup>A</sup>T<sub>E</sub>X,
-netscape, linux, gimp, xkobo...  </p>
+netscape, linux, gimp, xkobo...  </p></dd>
 
 
-<h4>Script</h4><p> Programme
+<dt><strong>Script</strong></dt><dd><p> Programme
 servant à automatiser des tâches répétitives, généralement simple. Principales
 caractéristiques: le langage utilisé interprète directement le script, de
 manière transparente, sans avoir besoin de passer par un traducteur externe;
 les constructions utilisées sont généralement de haut niveau par rapport à un
 langage de programmation traditionnel, et collent plus avec la notion de
-«faire telle tâche, puis telle autre».  </p>
+«faire telle tâche, puis telle autre».  </p></dd>
 
-<h4>Texte (mode texte)</h4><p>
+<dt><strong>Texte (mode texte)</strong></dt><dd><p>
 Un programme lancé dans un terminal peut être en mode texte, auquel cas il
 s'affiche dans la fenêtre où il a été lancé. Pour sa mise en page, il utilise
 le jeu de caractères disponibles, c'est-à-dire les caractères alphanumériques
@@ -1267,7 +1267,8 @@ Pine est un logiciel de courrier en mode texte.  </p>
 <p>
 Par opposition, un logiciel en mode graphique se lance dans une nouvelle
 fenêtre, s'utilise avec la souris, et propose divers moyens graphiques
-(fontes, couleurs, icônes) pour son utilisation, comme Netscape.  </p>
+(fontes, couleurs, icônes) pour son utilisation, comme Netscape.
+</p></dd></dl>
 
 
 <h2>L'Atelier Internet: bilan de l'année 1999--2000</h2>