utilisation du calcul formel