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.