The Hahn-Banach Property and the Axiom of Choice. - J. Dodu; Marianne Morillon (Math. Log. Q., 1999)