Cadre et méthode de spécification de systèmes d'information fondés sur les types de données. — Éric Dubois