Syllabus (in French) for LING1101 (Logic and Discrete Structures) cours at Université catholique de Louvain