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