Mesure de Haar en analyse non-standard Denis Richard (1976) Publications du Département de mathématiques (Lyon)