Gnocchi di patate; con funghi galletti e porcini