Éléments de logique mathématique, théorie des modèles — Jean-Louis Krivine