Eh bien...
Ca a marché :)
Je confirme: pour accéder au fameux "Windows Setup" dans l'écran de démarrage, il faut désactiver le Boot Boost dans le BIOS, ce que l'aide officielle semblait avoir oublié de préciser.
Et pour accéder au BIOS, la touche c'est F2, ce que l'aide officielle traduite en...