Title: Contribution au calcul formel sur ordinateur