Fork of https://gitlab.aliens-lyon.fr/gcluzel/Cours_de_Logique - update and corrections, summer term 2019