Mise à jour effectuée en une vingtaine de minutes sans incident, redémarrage compris...
Dans ce cas, il s'agit d'une nouvelle version de cette KB4550945, et il faut donc la réinstaller...
Il y a un an environ, lorsque je tentais encore de maîtriser les MAJ de Windows Update sous Windows 7, Tomtom a réussi à me convaincre qu'il fallait toutes les appliquer pour assurer une bonne cohérence de Windows (dont on connaît la fragilité congénitale). Depuis que je me suis résolu à passer sous Windows 10 (à la date fatidique du 20 janvier 2020), j'ai décidé de ne plus me poser de questions, de laisser Windows Update installer les MAJ importantes à l'aveugle, et d'appliquer les autres systématiquement et sans sourciller. Advienne que pourra… au moins j'aurai été un bon élève !