Topologie, analyse nonstandard et axiome du choix — Marianne Morillon