01-03-2023 Modifier le temps d'attente EFI de démarrage de Kubuntu 22.10 (applicable à Ubuntu / temps de sélection de démarrage dual)