Ajout d'un commentaire de signature dans set.ml
Ajout de l'interface set.mi