Re bah en fait je crois que ça vient de ce petit détail il cherchait la 2.6.34.6-47.fc13.x86_64 mais j'avais les sources de la 2.6.34.6-54.fc13.x86_64 (j'ai changé le nom 54->47) et j'ai un autre probleme:
Compilling VirtualBox kernel module [FAILED]
(modprob vboxdrv failed. Please use 'dmesg' to find out why)
[^] # Re: ben installe ze paquet...
Posté par ptitcois . En réponse au message Probleme de header linux, pour Virtual Box. Évalué à 1.
Compilling VirtualBox kernel module [FAILED]
(modprob vboxdrv failed. Please use 'dmesg' to find out why)