https://123dok.net/document/yee2ee4y-méthodes-pour-le-raisonnement-ordre-supérieur-dans-smt.html