https://123dok.net/document/qo513gek-déductionnaturellepourcalculdesprédicats-tddelogiquen.html