Conception et implémentation d'un langage dédié à l'introspection de machine virtuelle