%0 Generic %A Daigneault, Aubert, %T Théorie des modèles en logique mathématique. %7 2. éd.