verif.c.tex