Inria computing resources Resources available at Inria. Other resources Resources available at Inria.