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