TLA+ originally allowed recursive function definitions, but not recursive operator definitions, because it was not known how how to define their semantics. They were added to the language in 2006 after we discovered a semantics for them. We describe that semantics here.Initialement, TLA+ autorisait les définitions récursives de fonctions, mais pas d’opérateurs, car la sémantique à donner à de telles définitions n’était pas claire. Elles furent finalement ajoutées au langage de spécification en 2006, lorsque nous avons découvert un moyen de leur donner une sémantique satisfaisante. Ce rapport décrit cette sémantique
