Today I update the GRUB-file. And like most times, I forget I have to do "sudo update-grub". I do not understand why my change does not have any impact, change again, nothing happen... and finally I remember I need to run the command! #Linux #GRUB