Striking differences between ZF and ZF+weak choice in view of metric spaces