roasted baby artichokes, halved or quartered