Eclipse TPTP + working directory

Version imprimable