Extrayez les entités nommées du texte suivant : De nombreux travaux ont été publiés lors du siècle suivant pour réduire le nombre de couleurs à quatre , jusqu ' à la démonstration finale de Kenneth Appel et Wolfgang Haken .
O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, O, B-PER, I-PER, O, B-PER, I-PER, O