probleme de formatage sans cd ni disquette de reinstallation

bonjour a tous et a toutes!
Voila le pb, une amie a un ordinateur acer et suite a son inscription a internet, elle s'est rendue compte que son disque dur etait verolé par un cheval de troie (trojean, je crois). Apres plusieurs essais de suppression du virus, on lui a dit qu'il fallait formater.
son souci est qu'elle n'a pas fait de cd de reinstallation a l'achat de l'ordi et que ce dernier n'est plus sous garantie...
J'ai un ordi HP et j'ai crée des cd de restauration systeme, puis je lui preter pour le sien et sinon comment peut elle formater sans cd ni disquette???