On Tue, Oct 08, 2002 at 06:46:08PM +0200, Sylvain Sauvage wrote: > > Et /usr/share/doc ? C'est souvent gros et rarement vital. > très bonne idée, merci. Sur ma machine /usr/share/doc prend environ 250 Mo. Au lycée cela doit être comparable. Je vérifierai tout à l'heure. A+ -- Pierre Meurisse