Comment formater sans lecteur CD ?

Bonjour,

Je possède un HP probook 5310m tournant sous windows 7 qui est sujet à de graves problèmes
(problèmes expliqués dans un autre sujet, sans réponse pour le moment : http://www.commentcamarche.net/forum/affich-24969866-probleme-plantage-de-l-explorateur-de-window )

Je songe de plus en plus à formater mon disque dur afin de régler mon problème, puisque cela semble être la meilleure solution.
Cependant, puisque ce PC est de petite taille, il n'a pas de lecteur CD. Windows était donc déjà installé de base quand j'ai acheté mon ordinateur.

Comment puis-je le formater si je n'ai pas de cd d'installation de windows avec moi ?
J'ai lu que sur certains netbook il fallait presser la touche F9 et que windows se réinstalle ainsi, mais je ne sais pas si c'est le cas pour mon pc (et j'ai plutôt peur de tenter le coup sans être sûr ^^').
J'ai sauvegardé mes données sur DD externes pour me préparer au formatage. Mon disque est partionné en C, E et F. (C a une capacité de 137Go avec 32 restant, et F une capacité de 143Go avec 142 restant. E sert à stocker les paramètres HP, et a une capacité de 2Go avec 1,5 restant).

Je vous remercie d'avance pour votre aide ^^