eliminati file *.dvi e configurato git per ignorarli