Histoire de clôturer le sujet et que vous connaissiez le fin mot de l'histoire...
Plusieurs clefs n'ont pas permis de booter le PC, donc au final, je suis passé par le bios qui, sur ce modèle en tout cas, dispose d'une option "ré-installation usine de windows 10", mais en gardant les données...
Deux heures plus tard, mon PC était de nouveau opérationnel
J'ai ré-installé les softs que j'utilise ; que du bonheur.
Je garde un oeil averti sur avast cette fois-ci.
Wait & see pour la suite, mais le disque n'y était pour rien, ni mème le processeur : pour de la bureautique, l'ensemble convient parfaitement.
---------------
Si un problème a une solution, il ne sert à rien de s'inquiéter.