Mushroom ragot with polenta