Update Inria name.