Homepage moved to www-sop.inria.fr/galaad/emiris/index.html.