Formalisation des modèles d'information d'administration de réseaux à l'aide de la méthode B, application au langage GDMO — David Watrin