Mots infinis en arithmétique