<div dir="ltr"><a href="https://hal.inria.fr/hal-01233489/document">https://hal.inria.fr/hal-01233489/document</a>  <br></div>