Reformulations

unix/clavier.tml

@@ -16,8 +16,9 @@
 
 <p> Sous <a href="&url.jargon;#X">X*</a>, pour copier un texte d'un
   endroit à un autre, il suffit de le sélectionner, puis de cliquer là
-  où vous voulez le coller. Ça fait partie des petits trucs qui manquent
-  beaucoup quand on est obligé d'utiliser un autre système...</p>
+  où vous voulez le coller avec le bouton central de la souris. Ça fait
+  partie des petits trucs qui manquent beaucoup quand on est obligé
+  d'utiliser un autre système...</p>
 
 <p> (Il existe aussi un système de copier-coller « plus usuel », à coups
   de Ctrl+C, Ctrl+V ou encore Maj+Inser. Il est indépendant du
@@ -53,7 +54,7 @@ s'utilise de la même façon).</p>
 <p>Une commande se tape dans une fenêtre terminal (ou fenêtre ou
 terminal tout court) ; dans un terminal tourne un programme
 appelé le <a
-href="&url.jargon;#shell"><code>shell*</code></a> qui
+href="&url.jargon;#shell"><code>shell</code></a> qui
 interprète les commandes, et affiche un prompt (derrière lequel on
 tape les commandes). Le prompt (l'<em>invite</em> en français) est de
 différentes sortes; sur la config conscrits, il indique le nom de la