agrege testing en main.tex