Comment les hôpitaux d'urgence et les antennes-relais découpent-ils leur territoire ? La géométrie algorithmique des diagrammes de Voronoï et de la triangulation de Delaunay
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