Lionel Vaux (Univ. Aix-Marseille), Normaliser le développement de Taylor des λ-termes