https://123dok.net/document/zlg1ln9r-td-calcul-propositionnel.html