Sémantique dénotationnelle de S3L un langage de flux, d'ensembles et de suites, et son implantation en CAML — Sophie Anglade