Méthodes chez Pascal : actes du colloque tenu à Clermont-Ferrand, 10-13 juin 1976 / ouvrage publ. avec le concours du CNRS. [Colloque organisé par Jean Mesnard...]