[Tableaux] Use of undefined constant

Version imprimable