Nuovo ospedale di Pistoia: come lo chiamiamo?