Merci pour vos conseils.xbindkeys est très pratique. Je recommande pour ce genre de touches (le son, les touches internet, etc).
Mon PC (Compaq nx9000) marche convenablement maintenant. J'ai fait une doc. Elle est en ligne :
http://www-poleia.lip6.fr/~sabouret/debian/nx9000.html Debiannement, Nico. -- Nicolas SABOURET Laboratoire d'Informatique de Paris 6 (LIP6) 8, rue du Capitaine Scott, 75015 Paris, France http://www-oasis.lip6.fr/~sabouret