Ajout de quelques types dans src/utils.ml