enseignement du calcul formel