merci pour la solution. En fait j'ai attendu ce vendredi d'avoir un peu de temps pour la mettre en œuvre, et il n'y en a pas eu besoin : Windows update a téléchargé une mise à jour Windows, l'a installé, et après redémarrage, tout fonctionnait. Je n'ai rien eu à faire....