J'avais déjà regardé la première fois que tu avais donné ce lien, je m'imaginais qu'il me fallait maintenant faire.
[choco@localhost:~]$ rpm -q kernel
kernel-3.6.10-4.fc18.x86_64
kernel-3.9.6-200.fc18.x86_64
kernel-3.9.9-201.fc18.x86_64
Mais mon dernier yum update datait du 7 juillet, soit deux jours après la création de ce sujet, et ça n'avait pas corrigé le problème. Problème qui persiste.
Comment choisir le kernel sur lequel booter ? Faut directement le configurer dans Grub et le choisir au démarrage ? Car par défaut, seule la 3.6 m'est proposée. ^^