Ajout des commentaires VDM