TY - JOUR AU - Cayrol, Michel TI - Ensembles infinis en programmation JO - Publications du Département de mathématiques (Lyon) PY - 1985 SP - 45 EP - 56 IS - 2B PB - Université Claude Bernard - Lyon 1 UR - http://www.numdam.org/item/PDML_1985___2B_45_0/ LA - fr ID - PDML_1985___2B_45_0 ER -