Vérification et mise en œuvre de structures de communication dans un ensemble de processus coopérants — Pascal Dumon