https://123dok.net/document/q2n3jln2-eléments-théorie-modèles-logique-propositions-définitions-principaux-théorèmes.html