Et, euh, ils ont le droit d'utiliser l'axiome du choix pour se munir d'un bon ordre ? (et ça leur sert à quelque chose ?)