ajout specs.tex d'Hamadouche