A Rewriting of Fife's Theorem about Overlap-free Words J. Berstel Le but de cet article de synthèse est de présenter une preuve autonome d'un celèbre théorème de Fife qui donne une car­ actérisation complète des mots infinis sans chevauchement sur un alphabet binaire. La caractérisation consiste en une paramétrisation de ces mots infinis par un ensemble de mots infi­ nis sur un alphabet ternaire. Le résultat est que cet ensemble est rationnel. La preuve est par la construction explicite de l'automate minimal, obtenu par la méthode des quotients gauches The purpose of this expository paper is to present a self- contained proof of a famous theorem of Fife that gives a full de­ scription of the set of infinite overlap-free words over a binary alphabet. Fife's characterization consists in a parametrization of these infinite words by a set of infinite words over a ternary alphabet. The result is that the latter is a regular set. The proof is by the explicit construction of the minimal automaton, obtained by the method of left quotients.