The page has moved to http://www-sop.inria.fr/members/Cyprien.Nicolas/hop/homepage.