Contribution à l'étude d'un analyseur de modèles à réseaux de files d'attente — Didier Merle