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
