INRIA Nancy-Grand Est, LORIA, 615 Rue du Jardin Botanique, 54506 Vandoeuvre-lès-Nancy, France. dave.ritchie@loria.fr|INRIA Nancy-Grand Est, LORIA, 615 Rue du Jardin Botanique, 54506 Vandoeuvre-lès-Nancy, France. dave.ritchie@loria.fr