Application des méthodes analytiques à la modélisation des systèmes informatiques — Philippe Nain