Rétro-Ingénierie des Modèles Dynamiques d'UML: Vers un Support Algorithmique et Logiciel pour la Rétro-Ingénierie de Diagramme de Séquence d’UML 2.x