verification des diagrammes de sequences et création de la phase de declin