Polenta mijoté de légume