Let w(x; y) be a word in two variables and W the variety determined by w. In this thesis, which includes a work made in collaboration with C. Nicotera [5], we raise the following question: if for every pair of elements ...