Une équivalence sur les lambda-termes

Resume Dans ce papier on definit une relation d'equivalence sur les lambda-termes, identifiant les termes qui ne different que par des permutations de radicaux: la σ-equivalence. On demontre qu'aucun des criteres operationnels standards de classification du lambda-calcul (e.g. la longueur de la plus longue normalisation) ne permet de distinguer deux termes σ-equivalents. Enfin, la σ-equivalence est utilisee pour demontrer une generalisation du theoreme de la strategie perpetuelle.