Génération automatique de spécifications VDM à partir d'un schéma conceptuel de données.