Maintenir les invariants de domaine : introduction à Ontologic partie 2