Un nouveau type de preuve mathématique : le théorème des quatre couleurs. I - Exposé préliminaire Jean Mayer — 1979 Publications du Département de mathématiques (Lyon)
Le théorème des quatre couleurs : notice historique et aperçu technique Jean Mayer — 1982 Cahiers du séminaire d'histoire des mathématiques