INRIA Rennes - Bretagne Atlantique/IRISA, EPI GenScale, Rennes, France. nicolas.maillet@inria.fr|INRIA Rennes - Bretagne Atlantique/IRISA, EPI GenScale, Rennes, France. nicolas.maillet@inria.fr|INRIA Rennes - Bretagne Atlantique/IRISA, EPI GenScale, Rennes, France. nicolas.maillet@inria.fr|INRIA Rennes - Bretagne Atlantique/IRISA, EPI GenScale, Rennes, France. nicolas.maillet@inria.fr|INRIA Rennes - Bretagne Atlantique/IRISA, EPI GenScale, Rennes, France. nicolas.maillet@inria.fr