Cours de logique et mathématiques discrète.