Suppression de rapport.dvi, n'a rien à faire sur github