===== Liste des logiciels installés sur crabe =====

    * gcc
    * Perl (+modules), 
    * firefox
    * thunderbird
    * éditeurs divers : nedit, emacs, vim-gtk, gedit
    * Serveur X pour les terminaux d'Illkirch
    * manpages-fr-dev manpages-fr-extra manpages-fr
    * acroread
    * coq, coqide
    * bison, flex