Envoyer par SMS: On global optimization using interval arithmetic.