Coupler contraintes et équations différentielles ordinaires a de nombreuses applications. Cette présentation montrera qu'en adaptant légèrement des algorithmes de filtrage existant dans le cadre de la satisfaction de contraintes numériques peut être appliquédans un algorithme de type "branch & prune" qui sera alors capable de gérer des problèmes ou interviennent des contraintes d'EDO