Les distros pas toutes égales dans la gestion du Grub multi-boot