add link to INRIA website