ajout des diagrammes de Simon et Maude