Ajout de la verification des paramètre d'initialisation d'un programme PASCAL