Thomas Robert de Massy Directeur : Guy Tremblay UQAM Sujet de mémoire/thèse Conception et mise en oeuvre d’un système de calcul formel