Hello !
Even with the solution done a few messages above the saved option still doesn't work for me !
I change the /etc/default/grub as you can see below.
Made an update with
sudo update-grubMy...