Bug sur contraintes : les instance doivent matcher a la fois les contraintes d'implem et d'instance
Bug sur override de relation