Olivier Beaumont 1, 2
Auteur
Arnaud Legrand 3
Auteur IdHAL : arnaud-legrand ORCID : https://orcid.org/0000-0002-8415-1046
Loris Marchal 4, 3
Auteur Etablissement employeur : Centre National de la Recherche Scientifique
Yves Robert 5
Auteur Etablissement employeur : École normale supérieure - Lyon
INRIA | LABRI | LIP | UNIV-BORDEAUX | ENS-LYON | UNIV-LYON1 | INRIA-RENGRE