Describir: Theorie des modeles en logique mathematique.