VM modèle de spécification