Cours de mathématiques discrètes pour l'informatique.