Oui.
Mais je viens de retrouver la solution.
En effet, j'avais déjà eu il y a longtemps ce problème sous W10 et il avait été solutionné par l'exécution d'un petit fichier .reg que j'ai retrouvé et que voici :
Windows Registry Editor Version 5.00
[HKEY_LOCAL_MACHINE\SOFTWARE\Classes\htmlfile\shell\open]
[HKEY_LOCAL_MACHINE\SOFTWARE\Classes\htmlfile\shell\open\command]
@="\"C:\\Program Files\\Internet Explorer\\IEXPLORE.EXE\" %1"
"DelegateExecute"="{17FE9752-0B5A-4665-84CD-569794602F5C}"
Merci d'avoir si vite réagi à ma demande, et bonne soirée. Je marque le message comme résolu.