- les outils habituels en ligne de commande
- les outils réseau habituels
- les outils de développement GNU (gcc et ses petits frères, make, autoconf, ...)
- un environnement de développement Java 5 complet
- un environnement LaTeX
- Emacs
Tout ça pour que mes étudiants puissent travailler chez eux.
En plus il faudrait que ça marche (…)