Life without "Choice"

We propose an AC-independent proof of the existence of a non-measurable set as a consequence of the Hahn-Banach theorem of functional analysis which is known to be strictly weaker than AC.