Créé un arbre contenant les données d'inférence de type
tp=Type(vtype,property)
type de donnée (voir l'aide de m2scideclare)
propriété de la donnée (voir l'aide de m2scideclare)
une tlist de type "type"
Cette fonction créé une tlist
représentant les données d'inférence quand
on utilise M2SCI. Tous les paramètres d'entrée sont vérifiés pour être compatible avec
les "tlists M2SCI". (Unknown=-1 dans M2SCI)