Also, the grub parameters are identical to the ones on my other machine.
Anyway, in a few hours, I'll see if grub is displayed. if not, I'll see if grub-pc is installed.And then I'll try to modify the grub parameters. Or maybe should I do that first?
