S'il a acheter son PC et W7 était déjà dedans (un familial premium je crois),il faut qu'il fasse F11 au démarrage pour formater,pour la clée il faut regarder sur l'étiquette.
Sinon au lieu de formater,passe un scan avec un anti-virus gratuit comme Avast,AVG..Et un scan avec Malwarebytes.