%0 Journal Article %A Wallet, Guy %T Signification et démonstration %J Séminaire de Philosophie et Mathématiques %D 1992 %P 1-10 %N 8 %I IREM Paris-Nord %U http://www.numdam.org/item/SPHM_1992___8_A1_0/ %G fr %F SPHM_1992___8_A1_0