https://www.lojiciels.com/comment-puis-je-obtenir-le-menu-grub-dans-ubuntu/