Voilà le résultat de mes derniers essais.
En positionnant
GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=10
Le menu grub s'affiche rapidement et reste bloqué indéfiniment.
Idem si
GRUB_TIMEOUT_STYLE=countdown
Idem si je commente la ligne GRUB_TIMEOUT avec un style hidden ou countdown
Pourtant il est inscrit dans la doc
If 'GRUB_TIMEOUT_STYLE' is set to 'countdown' or 'hidden', the timeout is instead counted
before the menu is displayed.
Et plus loin
If this option is set to 'countdown' or 'hidden', then, before displaying the menu, GRUB will wait for the timeout set by 'GRUB_TIMEOUT' to expire.
If the timeout expires (...), it will boot the default entry. In the 'countdown' case, it will show a one-line indication of the remaining time.
Donc théoriquement, le menu devrait s'afficher après avoir attendu 10s et ensuite se lancer sur l'OS par défaut.
Infos obtenues par la commande
info -f grub -n 'Simple configuration'
Rien de tout cela chez moi (avec la version 2.02 de grub).
J'en viens à me dire qu'il y a peut être un bug du côté de chez grub ...
De mon côté, j'ai résolu mon problème initial en prenant la combinaison suivante:
GRUB_TIMEOUT_STYLE=menu
GRUB_TIMEOUT=2
qui laisse le menu affiché pendant deux secondes avant de démarrer l'OS sélectionné par défaut.
Merci encore à tou.te.s pour votre aide précieuse.