Les trois niveaux de la preuve dans les sciences empirico-formelles - Kaufmann, Nicolas (Philosophiques, 1980)