tutti ottimi prg!
ma tra gli antivirus io segnalerei anche l'efficentissimo NOD32..