Ajout des commantaires dans main.ml (types, ...)