Pour information :
Personnaliser le GRUB de Linux : thèmes, options et astuces
https://www.it-connect.fr/comment-personnaliser-le-grub-de-linux/
-- All the best Rene Paul Mages (ramix) GnuPG key : 0x9840A6F7 https://sites.google.com/view/les-logiciels-libres