Substitutive Arnoux-rauzy sequences have pure discrete spectrum
Résumé
We prove that the symbolic dynamical system generated by a purely substitutive Arnoux-Rauzy sequence is measurably conjugate to a toral translation. The proof is based on an explicit construction of a fundamental do- main with fractal boundary (a Rauzy fractal) for this toral translation.