Gnocchis de polenta et sauce tomates aux légumes