Presentation at Laval University of Franco-Quebec Cooperation Tools in Mathematics