Le 11 octobre 2002 à 11:55 (+0200), Erwan David a tapoté sur son clavier : [...] >> root 338 1 0 10:46 ? 00:00:00 /usr/bin/omniNames > > ? > Serveur de nom pour omniORB (ORB Corba) donc si tu ne fais pas de développement corba ou si tu n'as aucun programme qui utilise corba (avec omniORB parce qu'il y a aussi orbit pour GNOME), tu peux le virer. Fred