bugfixes (Journées TeX-SHS)