Le lemme de Zorn - Normale Sup

La § 1 présente le fameux lemme; la § 2 le démontre ; la § 3 discute de ses liens avec l'axiome du choix ; et la § 4 en donne quelques applications.