didierg Bonjour, Qui peut me rappeler quel est l'utilitaire à installer pour avoir une entrée dans le menu Système permetant de configurer le kernel choisi par défaut au boot.... Merci pour votre aide....
