si kkn sait si ca existe et ou ca se chope ce serrait cool
GsView ne le fait pas ? (sur www.gnu.org tu fais une recherche). sinon tu converti ton dvi en pdf sous linux. (commande dvipdf).
En y pensant, dvi=ps. donc gsview doit marcher sans pb.
vais aller voir ce serrait cool si ca marche