Merci à tous,
Voici l'historique.
1) La machine, sortie du carton, était en "10 S" (activé, product id 00386-36205-19032-AAOEM).
Le problème était:
Et en cliquant sur "Découvrir la procédure":
2) Comme proposé, je suis passé à "10 Pro" (activé, product id 00330-80000-00000-AA260).
Le problème était:
3) J'ai réinstallé (après avoir supprimé toutes les partitions du disque), à partir d'une clé usb dont j'avais téléchargé l'iso ici (Win10_1709_French_x64.iso, donc 64 bits) et je me suis de nouveau retrouvé en "10 S" (activé et même product id) et le problème subsistait.
4) Après passage en "10 Pro", la situation actuelle (activé, product id 00330-80000-00000-AA258). Même pb. Cependant, le product id n'est pas tout à fait le même...
Pour l'instant, rien n'a résolu le pb: disable du secure boot, reinstall, manips dans windows defender, avec le compte admin local, ...
En tout cas, je vous remercie beaucoup pour vos suggestions