Métamathématique - innbundet, Fransk, 1967