@book{barbin_produire_nodate, title = {Produire et lire des textes de démonstration}, editor = {Barbin, Évelyne and Duval, Raymond and Giorgiutti, Italo and Houdebine, Jean and Laborde, Colette} }