Finite size effects and spontaneously broken symmetries: the case of theO(4) model