Comment obtenir GRUB comme chargeur d’amorçage par défaut au lieu de Windows Boot Manager sur un ordinateur portable UEFI ?

Il s'agit de l'article le plus long que j'aie jamais publié sur un site StackExchange, mais ce processus nécessite beaucoup d'explications et d'attention aux détails. Il est également quelque peu spécifique au matériel en question, ce qui nécessite davantage d'explications.

Après beaucoup de maux de tête, deux reformatages accidentels du disque dur, et beaucoup de frustration avec l'implémentation buggy du firmware de HP, j'ai finalement réussi à faire fonctionner Xubuntu et Windows 10 côte à côte. J'ai fait cela avec Windows 10, mais cela devrait également fonctionner avec Windows 8.1. Ces deux systèmes d'exploitation plus récents utilisent le nouveau système de micrologiciel UEFI, au lieu du système BIOS traditionnel, qui est à l'origine de la plupart des confusions liées au double démarrage. J'ai lu beaucoup de choses dans beaucoup d'endroits avec des instructions pour le double démarrage avec un système BIOS, qui parlent de l'UEFI comme si c'était juste un autre type de BIOS, ou une couche optionnelle entre le BIOS et un OS. UEFI et BIOS ne sont pas la même chose ; une UEFI n'est pas un BIOS, et un BIOS n'est pas une UEFI. Ils sont complètement différents. Il y a certaines choses qui doivent être faites différemment lors du double démarrage avec un système UEFI.

Tout d'abord, n'utilisez pas EasyBCD . J'ai vu beaucoup de obsolète Des tutoriels sur le double démarrage recommandent EasyBCD, mais il est conçu pour fonctionner avec le firmware BIOS traditionnel utilisé par Windows 7 et Windows Vista, et il ne fonctionne pas bien avec les firmwares UEFI plus récents (Windows 8, 8.1 ou 10). Si vous avez déjà manipulé EasyBCD, ne vous inquiétez pas - le pire qu'il ait fait est probablement de semer la pagaille dans vos entrées de démarrage EFI en écrivant des choses dans le MBR. Nous allons nettoyer cela à l'étape 4. En parlant de MBR, évitez-le comme la peste. Le Master Boot Record est ce qui est utilisé dans le firmware traditionnel du BIOS comme une liste de chargeurs de démarrage stockée dans la partition de démarrage (ou, si elle est écrite par Windows, dans la partition qui est la première) de votre disque dur. Elle est destinée à répertorier les systèmes d'exploitation présents sur le disque dur et à indiquer au microprogramme lequel sera démarré en premier. Cela ne fonctionne pas bien avec le firmware UEFI de HP. Il semble que si une modification du MBR est effectuée, le firmware UEFI de HP s'embrouille et retourne au gestionnaire de démarrage de Windows, ce qui contourne complètement Grub.

Ce dont vous aurez besoin :

• Une clé USB ou un CD d'installation avec votre distribution Ubuntu préférée.
• Support d'installation pour votre système d'exploitation Windows. Si vous effectuez une mise à niveau à partir de Windows 8.1, vous pouvez le faire sans télécharger le fichier .iso complet de 3+ Go pour Windows 10 - il existe un programme d'installation en ligne qui le télécharge au fur et à mesure de l'installation - mais, pour cette méthode, vous avez besoin du fichier .iso extrait sur un CD ou un lecteur USB. C'est aussi une bonne idée de l'avoir sous la main pour l'avenir, alors autant le créer maintenant. Puisque cette question concerne le double démarrage avec un système UEFI, vous aurez besoin de le système d'exploitation 64 bits.
  • Assurez-vous d'avoir votre clé de produit, sinon vous ne pourrez pas effectuer la mise à niveau/l'installation.
• Facultatif, mais hautement recommandé : Un disque suffisamment grand pour sauvegarder vos fichiers Windows actuels.
• Un espace suffisant sur votre disque dur pour les deux systèmes d'exploitation, une partition de démarrage (200 Mo seulement) et une partition de remplacement pour linux (généralement de la même taille que votre RAM physique).

Étape 1 : Faites une sauvegarde

Sauvegardez tous vos fichiers et dossiers Windows que vous ne voulez pas perdre. Tant que vous avez suffisamment d'espace libre sur le disque dur pour votre nouvelle partition Ubuntu, ce processus ne devrait pas interférer avec les fichiers Windows. Devrait est un mot risqué, cependant.

Windows 8.1 dispose d'un outil de création d'un disque de récupération, mais je l'ai trouvé inutile et non fonctionnel lorsqu'il s'est agi de restaurer la sauvegarde que j'avais effectuée avec cet outil. Le moyen le plus simple de préserver les fichiers que vous ne voulez pas perdre est d'ouvrir l'Explorateur Windows et de les copier sur un disque de sauvegarde. Cela prend une éternité, mais cela en vaut la peine.

Étape 2 : Désactiver le démarrage rapide, et éteindre votre ordinateur.

Pour ce faire, vous devez être connecté en tant qu'administrateur.

Il est très important de désactiver Fast Startup avant d'installer Grub, car le fait que l'installateur Ubuntu puisse détecter la présence de Windows dépend de la façon dont Windows se représente dans la partition de démarrage. Avec le démarrage rapide correctement désactivé, il devrait être détecté. La détection sera traitée à l'étape 4.

Windows 8, 8.1 et 10 utilisent un nouveau dispositif appelé "démarrage rapide", qui indique à votre micrologiciel de charger un chargeur de démarrage spécial qui restaure très rapidement le système dans son état antérieur à l'arrêt. Plutôt cool, non ? Eh bien, parce qu'elle change l'option de démarrage suivant du système EFI, cette fonctionnalité devra être désactivée pendant que vous installez Grub. Cela peut être fait en faisant ce qui suit :

1. Ouvrir le panneau de contrôle (Windows+X->Panneau de configuration à partir du bureau dans Windows 8+) (apparemment, Microsoft déteste les utilisateurs expérimentés, c'est pourquoi la recherche de "Panneau de configuration" dans le menu Démarrer est désormais le moyen le plus rapide de l'ouvrir).
2. Naviguez jusqu'à Options d'alimentation
3. Cliquez sur "Choisir ce que fait le bouton d'alimentation".
4. Cliquez sur "Modifier les paramètres qui sont actuellement indisponibles".
5. Assurez-vous que la case "Activer le démarrage rapide (recommandé)" en bas de page est bien cochée. no vérifié.

Des instructions plus détaillées peuvent être trouvées aquí . Vous pouvez réactiver le démarrage rapide après l'installation de Grub, et il semble ne pas causer de problèmes au démarrage d'Ubuntu/Grub. Assurez-vous simplement qu'il est désactivé pendant l'installation.

Après avoir désactivé le démarrage rapide, éteignez votre ordinateur. Puisque le démarrage rapide est désactivé, Windows effectuera un arrêt complet et ne modifiera pas l'option de démarrage suivant dans le gestionnaire EFI du microprogramme. (En termes simples : Windows ne dira pas à votre système HP de démarrer son fichier de démarrage rapide lors du prochain allumage, il utilisera donc la liste du gestionnaire de démarrage EFI, comme il se doit. Grub se placera en premier sur cette liste).

Étape 3 : Configurer les partitions avec gparted

Avant d'installer Ubuntu, vous voudrez utiliser votre CD/USB live pour lui créer une partition séparée. De cette façon, il *n'écrasera pas Windows.

*S'assurer que vous avez une sauvegarde. Aucune garantie - cela dépend de ce que Windows a décidé de faire dans votre partition de démarrage, et cela peut également dépendre de la version/distribution Ubuntu que vous utilisez - je ne les ai pas toutes utilisées.

Pour créer les partitions, vous devez démarrer sur votre CD/USB live, et ouvrir gparted. Il y a beaucoup de tutoriels sur l'utilisation de gparted, et c'est assez facile à comprendre, donc je vais laisser les détails à vous et à Internet.

• Vous aurez besoin de 4 partitions :

  1. Une partition de démarrage. Si Windows est déjà installé sur votre ordinateur, vous n'avez rien à faire : cette partition doit déjà être l'une des premières de votre disque. Parfois, Windows crée également une autre petite partition au début du disque, appelée Récupération . Laisse tomber.

     • Si vous effectuez une nouvelle installation, et que vous voulez tout recommencer à zéro ( cela effacera toutes vos données ), supprimez toutes les partitions de votre disque, puis créez cette partition. Ce devrait être la première partition ; son format devrait être FAT32 ; et il devrait être au moins 200 Mo en taille. Si gparted a une option pour l'étiqueter, il suffit de l'appeler boot . S'il n'y a pas d'option d'étiquetage, ne vous en faites pas. Vous doit Cependant, définissez les drapeaux "boot" et "esp" sur cette partition ; sans eux, l'installateur Ubuntu l'ignorera et utilisera une installation en mode hérité, et Windows (10) refusera de s'installer avec l'erreur "nous n'avons pas pu créer une nouvelle partition ou localiser une partition existante". Ou pas. Cela semble dépendre de la façon dont Windows se sent ce jour-là...

  2. Une partition Windows. Encore une fois, si vous avez déjà installé Windows, cette partition devrait évidemment se trouver ici, après les partitions de démarrage et de récupération. Elle est là où vous la voulez, mais vous devez la redimensionner pour faire de la place à votre partition Ubuntu et à la partition linux-swap. Utilisez l'option de redimensionnement/déplacement de gparted pour le faire. Ubuntu a besoin d'au moins 5 Go, et la partition linux-swap doit faire au moins la moitié de la taille de votre RAM physique. Redimensionnez donc la partition Windows pour faire suffisamment de place. gparted vous mettra en garde contre une éventuelle perte de données - le rétrécissement de votre partition ne devrait pas détruire ou corrompre de données, tant que vous ne la rétrécissez pas dans l'espace utilisé.

     • Si vous installez les deux systèmes d'exploitation à partir de zéro ( Encore une fois, cela effacera toutes vos données. ), Microsoft dit vous aurez besoin d'au moins 20 Go pour le système d'exploitation 64 bits, donc cette partition doit être au moins 20 Go . Vous aurez probablement besoin de plus que cela, cependant : j'ai utilisé la moitié de l'espace après la partition de démarrage pour Windows, et l'autre moitié pour Ubuntu et linux-swap. Si vous partez de zéro, cette partition doit être formatée en tant que FAT32 . Lorsque vous installez Windows, il le formate en NTFS. Ne faites pas cela avec gparted ; l'implémentation de NTFS par Windows est différente de celle de gparted, et Windows pourrait ne pas reconnaître la partition. Dans le programme d'installation de Windows 10, vous devriez avoir la possibilité de sélectionner la partition sur laquelle placer Windows 10. Si elle est formatée en FAT32, Windows devrait pouvoir la voir et s'y installer. Si vous pouvez étiqueter cette partition, étiquetez-la Windows . Cela vous facilitera la tâche lors de l'installation de Windows. En parlant de l'installateur Windows, ne le commencez pas encore. Si vous faites de nouvelles installations d'Ubuntu et de Windows en même temps, au lieu d'effectuer une mise à niveau de 8 ou 8.1 vers 10, il est préférable d'installer Ubuntu en même temps que Windows. beaucoup plus facile à installer Ubuntu en premier .
  3. Une partition Linux. Comme la partition Windows, elle peut varier en taille, mais Site web d'Ubuntu recommande au moins 5 Go . Encore une fois, vous voudrez probablement beaucoup plus que cela. Si vous effectuez une mise à jour au lieu d'une nouvelle installation des deux systèmes d'exploitation, vous devriez pouvoir créer cette partition dans le nouvel espace "non alloué" affiché dans gparted. Faites-la aussi grande que vous le souhaitez mais n'oubliez pas de laisser de l'espace pour une partition linux-swap si vous prévoyez d'en utiliser un. Il doit être formaté en ext4. ext2 ou ext3 devrait également fonctionner, si vous préférez ces formats pour une raison quelconque.
     • Si vous installez à partir de zéro, créez votre partition Ubuntu comme décrit ci-dessus. Assurez-vous qu'elle est formatée en tant que ext4, ext3, ou ext2 . Cela permettra à Ubuntu de l'utiliser, mais empêchera le programme d'installation de Windows 10 de la reconnaître, ce qui devrait l'amener à utiliser par défaut la partition FAT32 que vous avez créée à l'étape 3, qu'il peut lire.
  4. Facultatif, mais recommandé : un partition linux-swap . Au moins la moitié de la taille de votre RAM physique est un bon début, mais je recommande de lire les détails . J'ai 8 Go de RAM et un disque dur de 1 To. J'ai donc créé cette partition de la même taille que ma RAM physique.

Étape 4 : Installer Ubuntu en premier

Que vous fassiez une mise à niveau vers Windows 10 à partir d'un OS Windows existant, ou que vous installiez à la fois Windows 10 et une distribution Ubuntu sur un nouveau disque dur ou un disque dur nouvellement partitionné, il est beaucoup plus facile d'installer Ubuntu en premier. Ubuntu utilise Grub 2 comme chargeur de démarrage, qui fait les choses comme un chargeur de démarrage EFI devrait le faire. Windows 10 utilise le gestionnaire de démarrage Windows, qui fait les choses... eh bien, de la façon dont Windows les fait... Si vous installez d'abord Windows, vous ne pourrez probablement pas démarrer sur Ubuntu sans maintenir une touche spéciale enfoncée pendant le processus de démarrage pour empêcher le gestionnaire de démarrage Windows de se charger, car le gestionnaire de démarrage Windows ne respecte pas Grub lorsqu'il est ajouté à sa liste de chargeurs de démarrage. Donc, à la place, installez Ubuntu et Grub en premier, puis ajoutez une entrée à Grub pour le gestionnaire de démarrage Windows.

Étape 4.1 : Nettoyage des anciennes entrées EFI (facultatif)

Veuillez faire attention. Supprimer la mauvaise chose peut causer d'énormes problèmes.

Avant d'installer Ubuntu, nous voulons nous assurer que les fantômes des installations antérieures du système d'exploitation ne reviendront pas nous hanter à l'avenir. Dans un système UEFI, les systèmes d'exploitation utilisent des fichiers EFI (extensible firmware interface) pour dire au firmware : "Hé, j'existe. C'est ici que vous pouvez me trouver". Lorsqu'un nouveau système d'exploitation est installé, il ajoute une entrée à la liste du gestionnaire de démarrage EFI, ce qui lui donne un numéro d'entrée unique, et indique au gestionnaire de démarrage EFI où se trouve son ou ses fichiers EFI (Windows enregistre plusieurs fichiers EFI différents - un pour le démarrage normal, un pour le démarrage de récupération, un pour le démarrage rapide - peut-être plus selon votre firmware et votre version du système d'exploitation). Le gestionnaire de démarrage EFI garde également une trace de l'ordre de démarrage : une liste de numéros d'entrée qui spécifie ce qui est démarré en premier. Si vous avez utilisé EasyBCD ; bcdedit ; les outils de réparation ou de récupération de Windows ; la réparation de démarrage dans un système d'exploitation Linux ; ou même si vous avez mis à jour Windows ou l'avez réinstallé, il y a une bonne chance que votre liste d'entrée EFI ait maintenant quelques doublons. En tout cas, c'était le cas pour la mienne. Avoir des doublons ici peut ralentir votre processus de démarrage, car le firmware passe en revue les entrées périmées ou les fichiers erronés jusqu'à ce qu'il trouve un chargeur de démarrage qui fonctionne. Cela peut aussi causer une boucle de démarrage, où le chargeur de démarrage A pointe le firmware vers le chargeur de démarrage B, qui le renvoie vers A, et alors les choses commencent à prendre un temps très, très long...

Quoi qu'il en soit, pour afficher la liste des entrées EFI et voir ce qui doit être nettoyé, utilisez la commande efibootmgr avec votre CD/USB live. Vous devrez l'installer en utilisant sudo apt-get install efibootmgr dans un terminal, puis l'exécuter en utilisant sudo efibootmgr . Par défaut, vous obtiendrez une liste d'entrées qui ressemble à ceci :

Lorsque j'ai utilisé cet outil pour la première fois après avoir bricolé avec EasyBCD et bcdedit pour essayer de faire démarrer les choses dans le bon ordre, j'avais plus d'une centaine d'entrées ici, dont la plupart étaient des doublons.

Si la liste de votre gestionnaire de démarrage n'est pas trop encombrée, ou si vous n'êtes pas à l'aise pour décider ce qui peut être supprimé et ce qui ne doit pas l'être, passez simplement à l'étape 4.2.

Pour supprimer toutes les entrées dont vous n'avez pas besoin, utilisez la fonction efibootmgr -b <hex_number> -B où hex_number est remplacé par le numéro figurant dans la liste de l'entrée de démarrage. Ainsi, pour supprimer le USB Drive (UEFI) l'entrée (numérotée Boot 2001 ) dans l'image ci-dessus, j'utiliserais sudo efibootmgr -b 2001 -B . Vous remarquerez que j'ai laissé quelques doublons (l'ensemble des plus de 3000 entrées numérotées). Vous pouvez utiliser efibootmgr avec différentes options pour afficher d'autres attributs des entrées, tels que les chemins d'accès aux fichiers vers lesquels elles pointent. Ces entrées semblent être des doublons, mais elles pointent toutes vers des fichiers différents utilisés par mon ordinateur portable HP pour mettre à jour son BIOS. Faites attention à ce que vous enlevez. Il peut être très difficile, voire impossible, de remplacer des choses ici. Vous pouvez également utiliser efibootmgr pour modifier le BootOrder, qu'il affiche. Voir la page de manuel pour plus d'informations sur cet outil utile.

Étape 4.2 : Installation d'Ubuntu

Après avoir nettoyé les entrées du gestionnaire de démarrage EFI, si vous avez choisi de le faire, il est enfin temps d'installer Ubuntu. Avec votre CD/USB live chargé, sélectionnez l'option d'installation dans le menu du chargeur de démarrage, ou lancez-la depuis le bureau après vous être connecté. Choisissez vos options sur la première page de l'installateur. La deuxième partie ressemblera à quelque chose comme ceci : (J'utilise Xubuntu 14.04, donc votre installateur peut varier, mais les options devraient être assez similaires).

Si votre installateur ne détecte pas votre installation Windows (comme le mien), vous devrez sélectionner l'option "Autre chose". À partir de là, vous obtiendrez un écran qui ressemble au menu gparted que vous avez utilisé pour configurer vos partitions. Sélectionnez simplement les partitions que vous avez créées et affectez-les au point de montage correct en sélectionnant une partition et en cliquant sur "Modifier".

• Si vous installez les deux systèmes d'exploitation à partir de zéro, faites la même chose. N'utilisez pas l'option d'installation automatique. Vous devez vous assurer qu'Ubuntu est installé sur la partition ext2/ext3/ext4, no la partition FAT32 de Windows.

Étape 5 : Mettre à jour ou installer Windows second

Vous devez disposer d'un disque d'installation pour Windows 10. Avant de commencer l'installation, assurez-vous d'avoir votre clé de produit à proximité, sinon vous ne pourrez pas installer/mettre à niveau. Lorsque vous démarrez sur le CD/USB d'installation, le programme d'installation est assez simple. Un peu trop simple pour mon confort - le seul bouton était "Installer Windows 10" ou quelque chose comme ça, et Windows 8, 8.1, et 10, sont tristement célèbres pour leurs installations en coulisses, où il est simplement dit "Nous préparons les choses", et ne fournit aucun détail sur ce qu'il fait réellement à votre système. Si vous avez suivi ces instructions jusqu'ici, vous devriez pouvoir commencer l'installation régulièrement.

• Si vous effectuez une mise à niveau depuis Windows 8 ou Windows 8.1, vous ne devriez pas avoir à faire quoi que ce soit de particulier lors du processus d'installation. Terminez l'installation (très longue) et passez à l'étape 6.

• Si vous effectuez une nouvelle installation, le programme d'installation vous demandera où vous souhaitez installer Windows 10. Assurez-vous de sélectionner la partition FAT32 que vous avez créée à l'étape 2, et non une autre partition, ou cette partition sera effacée et formatée. Comme Ubuntu est déjà installé, Windows 10 devrait respecter la partition de démarrage et ne pas la reformater. Le fait d'avoir nettoyé les entrées inutiles de la liste du gestionnaire de démarrage EFI libérera également de l'espace dans la minuscule partition de démarrage de 200 Mo, ce qui réduira les chances que Windows soit confus et en colère et efface tout pour lui-même.

Etape 6 : Mettre à jour et (éventuellement) personnaliser Grub

Après avoir installé ou mis à niveau vers Windows 10, vous devrez redémarrer vers Ubuntu pour mettre à jour Grub afin qu'il inclue le gestionnaire de démarrage Windows dans sa liste. Avant de faire cela, désactivez à nouveau le démarrage rapide. Cette opération est très similaire à celle de l'étape 2. L'interface utilisateur du panneau de configuration et des paramètres est un peu différente, mais la plupart des options sont toujours présentes.

Après avoir désactivé à nouveau le démarrage rapide, redémarrez votre ordinateur.

Si Windows démarre par défaut, vous devrez maintenir enfoncée la touche spéciale de votre ordinateur portable pour accéder au menu du microprogramme du système. Sur mon HP Touchsmart, cette touche est Esc. Les autres touches courantes sont F12, Suppr, F10... Le manuel de votre ordinateur devrait pouvoir vous aider ici. A partir du menu du firmware, démarrez dans Grub. Il devrait y avoir une option pour "sélectionner un périphérique de démarrage" ou quelque chose de similaire, et Ubuntu ou Grub devrait y être listé. S'il n'est pas listé, cherchez une option pour démarrer à partir d'un fichier EFI, et naviguez vers /EFI/ubuntu/grubx64.efi ou (si vous avez activé Secure Boot), EFI/ubuntu/shimx64.efi à la place. Les chemins réels de ces fichiers peuvent varier en fonction de vos options et de la façon dont votre partition de démarrage est configurée, mais les noms des fichiers devraient être les mêmes. En sélectionnant l'un de ces fichiers .efi, vous devriez démarrer sur Grub, où vous pourrez ensuite démarrer votre distribution Ubuntu. Une fois que vous vous êtes connecté, ouvrez un terminal et tapez sudo update-grub . Ceci lancera l'os-prober script que script utilise pour compiler script.cfg, qui indique au fichier EFI de script quelles entrées inclure, quelles couleurs utiliser, etc. L'os-prober script devrait identifier le Windows Boot Manager, et l'ajouter automatiquement à la liste.

En option, vous pouvez installer Grub Customizer pour modifier l'ordre des entrées du menu et changer le comportement ainsi que la couleur et le fond du menu Grub. Vous pouvez l'installer à partir d'un terminal en utilisant sudo apt-get install grub-customizer puis exécutez sudo grub-customizer .

Lorsque vous utilisez Grub sur un système UEFI partagé avec un système d'exploitation Windows, NE PAS installer sur MBR. Certains tutoriels considèrent comme une étape cruciale l'utilisation de l'option "Install to MBR" de Grub Customizer dans le menu File. Vous devez no faire cela sur la plupart des systèmes UEFI. Le MBR (Master Boot Record) est conçu pour les firmwares BIOS, et est toujours utilisé par le boot loader de Windows dans une certaine mesure. Ajouter boot loader au MBR, quand il est déjà dans la liste d'entrée EFI, peut causer beaucoup de boules de poils. Si vous avez besoin de vous assurer que boot loader est la première entrée dans la liste de l'ordre de démarrage (c'est-à-dire si Windows démarre toujours, même si vous avez tout fait correctement), utilisez efibootmgr (voir l'étape 4.1) pour afficher/modifier l'ordre de démarrage du gestionnaire EFI.

Notas

Je n'ai pas mentionné Boot sécurisé du tout, car cela ne devrait normalement pas affecter l'installation d'Ubuntu. De nombreux tutoriels de double amorçage parlent de le désactiver, mais ce n'est généralement pas nécessaire avec un installateur 64 bits actuel. Cependant, chaque PC est différent, et Secure Boot est assez récent (2012), donc différents firmwares peuvent implémenter les choses différemment. Par exemple, la version de mon firmware HP comprend une option "legacy boot", qui désactive Secure Boot et traite les OS installés comme s'il s'agissait d'un firmware BIOS : certaines personnes recommandent d'activer cette option pour l'installation en double démarrage. L'installation d'Ubuntu en mode de démarrage traditionnel sur mon système a empêché Grub de s'ajouter à la liste d'entrée EFI, de sorte que tout ce qu'il pouvait faire était de s'ajouter au MBR, dont le gestionnaire de démarrage Windows avait le contrôle total. Le gestionnaire de démarrage de Windows a nécessité beaucoup de réglages pour même afficher la liste des entrées, et après tout cela, il ne démarrait que les entrées Windows, rendant Grub inutilisable sans sélectionner manuellement son fichier EFI chaque fois que je mettais sous tension.

Voir aquí pour plus d'informations sur Ubuntu, Secure Boot et Legacy Boot, ainsi que sur la différence entre les installations UEFI et BIOS en général.