TY  - JOUR
AU  - Mayer, Jean
TI  - Un nouveau type de preuve mathématique : le théorème des quatre couleurs. I - Exposé préliminaire
JO  - Publications du Département de mathématiques (Lyon)
PY  - 1979
SP  - 67
EP  - 80
VL  - 16
IS  - 3-4
PB  - Université Claude Bernard - Lyon 1
UR  - http://www.numdam.org/item/PDML_1979__16_3-4_67_0/
LA  - fr
ID  - PDML_1979__16_3-4_67_0
ER  -