Theorie des models en logique mathematique. - Daigneault T Aubert (1967)