J'ai mal dû m'exprimer : ce n'est pas d'internet explorer que je parle mais de explorer.exe.
Il s'agit d'un windows seven 32 bit family premium.
Je n'ai qu'un autre pc sous la main et c'est un seven 64 donc pas possible de copier/coller le fichier.
Bon, finalement en passant par le mini explorateur du gestionnaire de tâches j'ai pu lancer un cmd.exe en mode admin et donc un sfc/scannow qui a réglé le problème.
Merci de ton intérêt