Choisir le système d'exploitation lancé par défaut