Module: TABLEAUX. ALGORITHMES - 1