Numerical certification of Pareto optimality for biobjective nonlinear problems - Audet, Charles; Messine, Frédéric; Ninin, Jordan (Groupe d’études et de recherche en analyse des décisions, 2020)