Méthodes chez Pascal: actes du colloque tenu à Clermont-Ferrand 10 - 13 juin 1976 - Davidson, Hugh (Presses Univ. de France, 1979)