Salut, J'ai fait un apt-get dist-upgrage en ayant au préalable changé le sources.list (mis sid à la place de lenny). Mais je ne suis pas satisfait du Texlive qui me donne des résultats bizarres. Je me demande s'il n'est pas possible de faire un downgrade vers lenny. Merci pour les réponses. Jacques