Correction de extract.ml
Ajout de extract.ml et functions.ml au Makefile