boot 1

• systemd-boot + Commande Linux efibootmgr pour gérer le menu de démarrage UEFI 18/10/2023