Salut, Le thread m'a incité a chercher ... et je viens de découvrir dvipdfm ... tout simplement merveilleux ! (rien à voir avec dvipdf que j'avais essayé un jour) Sous woody : apt-get install dvipdfm cela convertit dvi->pdf (analogue de dvips) A+ Olivier