papers.html: fixed links to documents located at inria