c'est prouvé, mais il faut Alt-ergo 0.95 normal ou CVC4 ou Z3