trouver cool si cela est permis je met le lien pour les kernel au cas ou cela arriverais a quelqu'un d'autre : ***********
EDIT modération : le lien ne fonctionne pas, et quand bien même il ne s'agit que du kernel de la console, ça reste un fichier sous copyright, qu'il est, par définition, interdit de partager.