document

https://hal-lirmm.ccsd.cnrs.fr/lirmm-04261099v1/document ⧉copy