Dumitru Potop-Butucaru, INRIA, France