Un nouveau type de preuve mathématiques : II - Le théorème des quatre couleurs K. I. Appel — 1979 Publications du Département de mathématiques (Lyon)