Salut
je te conseille Forticlient  téléchargeable au bas de la page 
ICI 
Celui la est gratuit pour les particulier .
ou ESET NOD32 téléchargeable 
ICI
Celui la est payant mais si tu l installe fais moi le savoir et je t'enverrais une licence en MP
Mais le mieux ça reste de les formater 
Bon courage.