Retour en enfance

Une solution est la suivante :

 

Les mathématiciens ont remarqué depuis le XIX^e siècle que n’importe quelle figure pouvait être coloriée d’une telle manière en utilisant quatre couleurs uniquement. Mais il a fallu attendre 1976 pour que ce théorème soit prouvé par les mathématiciens Kenneth Ira Appel et Wolfgang Haken à l’aide d’un ordinateur : en effet, la preuve intégrale est trop longue pour être vérifiée par un humain ! Cette démonstration a soulevé de grandes discussions épistémologiques : une preuve informatique inaccessible à l’être humain est-elle acceptable ? Un bien grand débat pour une question qui apparaît dans tout album de coloriage d’enfant…