Résumé
We give a characterization of all the sets X such that any morphism h on a, b is overlap-free if and only if for all x in X, h(x) is overlap-free. As a consequence, we observe the particular case X = bbabaa which improves the previous characterization of Berstel-Séébold.