Le théorème des quatre couleurs et la révolution des mathématiques assistées par ordinateur : Un problème centenaire et la philosophie de la preuve par machine
