Théorie des modèles : Outils classiques (M2 LMFI)