Cook the gnocchi for 2 minutes in bubbling salted water, drain. Sort the mushrooms, possibly halve them. Cut bacon into pieces. Defrost peas. Clean, wash, quarter and seed the tomatoes.
Cut the flesh into small cubes. Wash and chop thyme. Melt 1 tablespoon of butter and sauté the flour in it. Add cream and stock, stirring constantly, and simmer for 2 minutes. Heat peas and tomatoes in it. Season with salt and pepper. Heat 1 tablespoon butter. Skip the bacon. Sauté mushrooms briefly, season with salt, pepper and thyme. Swirl the gnocchi in the cooking fat.
Season with salt and pepper. Heat 1 tablespoon butter. Skip the bacon. Sauté mushrooms briefly, season with salt, pepper and thyme. Swirl the gnocchi in the cooking fat. Pour prepared sauce over it and season again. Serve garnished with thyme