exec.c avec verification des adresses