https://hal.inria.fr/inria-00000545 Contributor : Olivier TeytaudConnect in order to contact the contributor Submitted on : Tuesday, November 1, 2005 - 2:53:22 PM Last modification on : Friday, February 4, 2022 - 3:21:58 AM Long-term archiving on: : Friday, April 2, 2010 - 6:16:03 PM