[Tableaux] fatal error: allowed memory size

Version imprimable