https://123dok.net/document/q7w4gwpk-exercices-méthode-arbres-logique-prédicats.html