un fichier TeX en plus