modification du Makefile pour utiliser infer de menhir et test sur parser.mly