Please visit me at INRIA.