Correction du filters.ml pour permettre la compilation