Supression du .dvi