Title: Un exemple d'utilisation du calcul formel sur ordinateur