OoO En cette soirée bien amorcée du mardi 20 novembre 2007, vers 22:04, je disais: > OoO En cette soirée bien amorcée du vendredi 16 novembre 2007, vers > 22:40, Christian Perrier <bubulle@debian.org> disait: >>> "démarrer explicitement en utilisant la commande 'proofgeneral'." >> « proofgeneral », avec les guillemets français. > Corrigé. Voici le LCFC. Et le BTS. -- BOFH excuse #443: Zombie processess detected, machine is haunted.