Bonsoir,
Compte tenu de ce que vous annonciez ci-dessus et de mon habitude des mises à jour laborieuses, j'ai décidé de lancer la KB5031445 sans aucun suivi, et suis parti faire autre chose. J'ignore combien de temps elle a duré. Trois heures plus tard, je suis revenu finaliser, et n'en ai pas cru mes yeux : le redémarrage requis a duré 16 mn montre en main !