Propriétés de consistance et forcing J.-C. Lablanquie (1979) Annales scientifiques de l'Université de Clermont. Mathématiques