MHT 812 : Algèbre et calcul formel