Au démarrage de mon laptop, juste après les informations du bios; le gestionnaire de démarrage « grub » s’affiche. Celui-ci permet de choisir quel système d’exploitation, entre Windows 10 et Linux Mint, je désire démarrer. Le choix s’effectue grâce aux flèches haut/bas du clavier, avec selon votre configuration un choix par défaut sélectionner après « x » secondes. Le… Read More »