A characterization of substitutive sequences using return words
  We prove that a sequence is primitive substitutive if and only if the set of its derived sequences is finite; we defined these sequences here. 
Fabien Durand (LAMFA)