Vérité et vérification en logique mathématique et dans les théories physiques - Gauthier, Yvon (Philosophiques, 1982)