Propagation garantie de contraintes ODE par morceaux pour l'optimisation globale