https://hal.inria.fr/hal-01239072 Contributor : Christian GrothoffConnect in order to contact the contributor Submitted on : Wednesday, December 16, 2015 - 10:16:03 AM Last modification on : Thursday, January 20, 2022 - 4:12:14 PM Long-term archiving on: : Thursday, March 17, 2016 - 10:10:21 AM