https://123dok.net/document/zgw2n796-logique-premier-ordre-deuxième-partie-interprétation-formule.html