https://123dok.net/document/qvl65wvg-problème-sat-et-le-raisonnement.html