Move Inria Theme into a subfolder, using TEXINPUT variable to be able to build