validation du diagramme de sequence