Bonsoir, Question a 1 cent, y a-t-il un lien /usr/src/linux vers /usr/src/kernel-src-(version du kernel)
sinon si ton kernel vient de woody un apt-get install kernel-header-(version du kernel) devrait suffire a recompiler les modules de vmware (c'est du conditionnel mais c'est a tester) avec la securite debian en prime pour la bonne version des headers David Dumortier