Io invece no, e sai perche',scansionare con un antivirus non servirebbe a niente in quel caso,
ma userei una liveCD,e la lancerei in texmod,in quanto in modalita grafiica ci impiegherebbe
molto piu tempo.