j’ai réussi à changer le set timeout
avec la prise en compte de la nouvelle valeur,
vérifier par un reboot
pour des besoins applicatifs, je voudrais ajouter un nouveau point d’entrée dans grub.cfg
le nouveau menuentry se décrit bien dans /etc/grub.d/10_linux
merci d’avance
JB1