Merci, c'était exactement ça (enfin presque, il s'agissait du paquetage
xfonts-base qu'il fallait réinstaller). Cette expérience m'a permis de
faire connaissance avec l'option --reinstall d'apt-get, qui m'a été très
pratique....
Bon week-end.
Yves Dessertine
[EMAIL PROTECTED]
UIN : 23839482