Une proposition de formalisme orienté composant: Application de méthodes d’exécution symbolique pour la validation de systèmes à base de composants (Omn.Univ.Europ.)