Calcul formel — Évelyne Tournier, Yvon Siret, James Harold Davenport