pour a dans V
        purs.A = a
        pour b dans V
                purs.B = b
                si dit("A",not purs.A ou purs.B)
                       dit_solution purs