Halmos, Mme, née Petitjean