Forcing infini et théorème d'omission des types de Chang Jean-Claude Lablanquie (1978) Annales scientifiques de l'Université de Clermont. Mathématiques