Un Système de calcul formel pour expression combinatoire ou lambda-expression — Nelly Girard