La méthode de Kim pour démontrer quelques cas du théorème de Siegel

J'expliquerai ce que je comprends à l'heure actuelle de la méthode inventée par Minhyong Kim pour (re)démontrer quelques cas du théorème de Siegel sur la finitude des points entiers sur les courbes définies sur un corps de nombres. Cette méthode utilise des techniques variées : catégories tannakiennes, intégration p-adique, théorie p-adique de Hodge, théorie de Fontaine des représentations p-adiques.