Mise à jour

theorie/jargon.tml

@@ -183,7 +183,7 @@ KDE.</p>
 
 <p>Sur les PC, il est possible de choisir entre plusieurs interfaces au
 moment où l'on se connecte sur une machine. L'interface par défaut est
-KDE. Du temps des stations Sun, la seule interface proposée par la config
+Gnome. Du temps des stations Sun, la seule interface proposée par la config
 conscrit était basée sur un gestionnaire de fenêtres appelé fvwm.</p>
 </dd>
 
@@ -231,8 +231,8 @@ emplacement en Latin-1, et qui sont très peu utilisés).</p></dd>
 
 <dd><p><em><a href="http://www.kde.org/">The K Desktop Environment</a></em>.
 C'est un environnement graphique pour Unix, qui fournit un grand nombre de
-logiciels conçus pour travailler ensemble. C'est l'environnement graphique par
-défaut sur les ordinateurs de l'ENS depuis 2006. Vous pouvez l'installer sur
+logiciels conçus pour travailler ensemble. C'était l'environnement graphique par
+défaut sur les ordinateurs de l'ENS de 2006 à 2009. Vous pouvez l'installer sur
 votre propre ordinateur (par exemple en installant une distribution Linux).</p>
 </dd>
 
@@ -429,7 +429,7 @@ que vous avez commencé à taper !).</p></dd>
 
 <dd><p> Le nom des nouvelles versions de SunOS (voir plus loin la définition de
 ce mot). Plus moderne, mais aussi plus lourd... À l'ENS, le vieux SunOS a
-complètement disparu, et toutes les Suns sont sous Solaris.</p></dd>
+été remplacé par Solaris du temps des stations Sun.</p></dd>
 
 
 <dt><a name="spi"><strong>SPI</strong></a></dt>
@@ -442,8 +442,8 @@ d'accueil</a>.</p></div></dd>
 
 <dt><a name="sun"><strong>Sun</strong></a></dt>
 
-<dd><p> C'est la marque de la majorité des stations de travail présentes à
-l'École.</p></dd>
+<dd><p> C'est la marque de la majorité des stations de travail qui
+étaient présentes à l'École par le passé.</p></dd>
 
 <dt><a name="sunos"><strong>SunOS</strong></a></dt>