On Sat, 29 Jul 2017, Curt wrote:
https://cdimage.debian.org/cdimage/unofficial/non-free/cd-including-firmware/9.1.0+nonfree/
thanks Curt, I used this one and it worked perfectly, except the last step, i.e. grub install: It actually installed grub, but at reboot I don't get the grub menu, but I still get Windows 10 (recognized by grub as "Windows Vista" !!) best regards, -- Pierre Frenkiel