Small modif to 00_global.tex