Comment convertir un fichier dvi en ascii ?

* dvi2tty est disponible sur ftp://ftp.inria.fr/pub/TeX/CTAN/dviware/dvi2tty/. * dvispell de la distribution EmTeX permet également de convertir un fichier dvi en fichier texte.