On discute quelques formes équivalentes de l'axiome du choix, puis des conséquences classiques; on voit qu'il y a des variantes possibles, qui n'ont pas toutes la même force (dans la vidéo je dis une bêtise, normalement corrigée par un texte en surimpression: le lemme de Zorn et le lemme de Krull sont en fait équivalents)