conception d’un logiciel de calcul formel