Download d'une publication

Vous allez être redirigés dans quelques secondes. Si le téléchargement ne commence pas, veuillez cliquer sur le lien suivant :

https://hal.inria.fr/file/index/docid/72028/filename/RR-4560.pdf