Ajout de doc dans exec.c