Oui faut le choix pour bien ordonner tout ensemble (mais bon tant qu'on reste dans l'infini dénombrable c'est pas important), faut aussi le choix pour pouvoir dire des choses sérieuses sur les cardinaux.