Le calcul formel, c'est faire des calculs avec des lettres.