add verif.c