Répondre à la discussion

Je crois que tu dois installer un gestionnaire de boot (rEFind par exemple), mais je ne connais absolument pas comment ça marche.

Je sais juste que ça te permet de choisir, au démarrage de la machine, ton OS de boot.