[Tableaux] Multiple test. Simplification ?

Version imprimable