Méthodes chez Pascal : actes du colloque tenu à Clermont-Ferrand 10-13 juin 1976 / [organisé par Jean Mesnard et al.]. - Mesnard, Jean (1921-2016) (Presses Universitaires de France, 1979)