IbexOpt : un module d'optimisation globale sous contraintes fiable