A mon avis c'est le Windob qui est planté, parce que je vois pas pourquoi un overclok trop poussé le ferait booter "normalement" en mode sans échec, et pas en mode normal...
Donc pourquoi pas un Clear CMOS en retirant la pile de la carte-mère (30 secondes ça suffit), mais à mon avis faut qu'il tente une restauration de son système, quitte à formatter .
Ou alors c'est peut-être la Ram ? Si elle se trouve moins "stresser" par le sans echec, elle permet de booter. Oué avant le fatidique Format C:, je testerais mes barettes .