Bonjour, y a plus de mystère : vos suggestions m'ont mis sur la bonne piste. Je pense que Debian 6.0 n'a donné la bonne info à l'installateur Texlive ou celui-ci a mal interprété l'info (j'ai signalé l'ennui à GUT). J'ai demandé à Texlive d'installer la version 32 bits == i386-linux, et tout va bien. Merci pour votre aide. rb -- René Bastian www.pythoneon.org