Ajout du fichier tex de spécification..