Files d'attente descriptives pour la modélisation de la synchronisation dans les systèmes informatiques — Danielle Mailles