MIG ("MIG is not Glozz") est une interface d'annotation pour l'étude des structures énumératives