Logique et mathématiques — Bernard Myers, Dominique Souder