malbo a écritBonjour,
Pour obtenir le Boot menu (qui permet en théorie le choix de démarrer sur Windows ou sur Ubuntu), il faut presser la touche F9 dès le démarrage de l'ordi
Un tout grand merci pour ce dernier conseil au sujet de ce problème. Tout a bien fonctionné dans et autour de l'installation double (windows 10 et ubuntu 18.04 LTS) ainsi que le dual-boot.
Je considère cette discussion comme résolue.
Amitiés et joyeuses fetes de Noel et heureuse année 2020.
P.S. je n'ai vu la nécessité de fournir un boot-info.