Validation des méthodes d’identification symbolique pour les systèmes dynamiques