Lecture commentée d'une méta-démonstration de Gödel : la démonstration, par Kurt Gödel de la compatibilité de l'axiome du choix et de l'hypothèse généralisée du continu avec les axiomes de la théorie des ensembles