profiling avec TPTP

Version imprimable