Une property definiiton (sur une spec) peut etre raffiné sur une implem, si on ajoute un field,
si le type est le mem, et si la des sur la spec n'a pas de default value
Merge branch 'master' of https://github.com/AdeleResearchGroup/ApAM