modification main.ml pour ajouter l'option type-only