J'ai remarqué que depuis un certain temps, le message d'avertissement suivant apparaît lors de la mise à jour de grub: Warning: Setting GRUB_TIMEOUT to a non-zero value when GRUB_HIDDEN_TIMEOUT is set is no longer supported. cat /etc/default/grub répertorie les options suivantes: GRUB_DEFAULT=0...