ajout des diagrammes de séquence dans le DCG