sélectionner le système d'exploitation de démarrage par défaut