Fichiers d'aide pour la démonstration donnée pour le cours bin3002 à l'UdeM (http://www-bac.esi.umontreal.ca/~dbin3002/).