%0 Journal Article %A Mayer, Jean %T Un nouveau type de preuve mathématique : le théorème des quatre couleurs. I - Exposé préliminaire %J Publications du Département de mathématiques (Lyon) %D 1979 %P 67-80 %V 16 %N 3-4 %I Université Claude Bernard - Lyon 1 %U http://www.numdam.org/item/PDML_1979__16_3-4_67_0/ %G fr %F PDML_1979__16_3-4_67_0