Pour information :

Personnaliser le GRUB de Linux : thèmes, options et astuces