Notebook HP qui demande une clé!

Bonjour,

une copine qui possède un Notebook HP depuis peu, se trouve face à un problème peu courant, tout du moins, lorsque l'appareil en question est neuf d'il y a quelques mois!

En fait, lors du boot (démarrage) de son PC, une page apparait avec une série d'option à choisir, notamment via les touches "F1, F2, F3, etc...", ce qui n'arrivait pas avant! Je lui demande si elle a le DVD d'installation fournit avec la machine, elle me dit que non, j'en conclue qu'elle n'a pas fait la gravure de l'OEM pré-installé dans son HP, et pour cause, non seulement elle n'a pas de lecteur DVD dans son HP, mais en plus, elle n'a même pas conscience qu'il fallait faire une gravure de l'OS lors de l'ouverture de son Notebook!

Elle est bien dans la merde, car j'ai le sentiment qu'elle a subi une attaque (elle utilise internet avec essentiellement), et qu'elle a reçu un virus.
Maintenant, sans DVD d'installation, comment peut elle formater son disque, et ensuite réactiver la licence Windiws 7 via le site de Microsoft, merci pour vos commentaires.