Ensembles infinis en programmation Michel Cayrol — 1985 Publications du Département de mathématiques (Lyon)