Une approche orientée-objet pour la réutilisation de spécifications formelles de langages.