%0 Journal Article %A Appel, K. I. %T Un nouveau type de preuve mathématiques : II - Le théorème des quatre couleurs %J Publications du Département de mathématiques (Lyon) %D 1979 %P 81-88 %V 16 %N 3-4 %I Université Claude Bernard - Lyon 1 %U http://www.numdam.org/item/PDML_1979__16_3-4_81_0/ %G fr %F PDML_1979__16_3-4_81_0