Contribution au calcul formel sur ordinateur. (Contribution to formal calculation on computer)