Note à moi-mème :
Windows considère toujours qu’il est le seul OS sur une machine. L’une des fâcheuses conséquences, c’est de penser qu’il y a un problème avec les speakers de son ordi pendant des mois, alors que tout fonctionne bien. Si on mute les speakers sur Windows et qu’on boote en linux ensuite, le setting reste dans le bios et linux ne peut plus le changer. Il faut donc toujours laisser les speakers avec du volume au moment de fermer Windows. Merci la vie.