Ragoût de porc aux gnocchi

Name: ragoût de porc aux gnocchi
Cook time: 40 min
Total time: 50 min
Yield: 5
Ingredients: 2 carottes moyennes, hachées; 1 poireau moyen, haché; 1 small red onion, chopped; 2 branches de céleri, hachées; 1 bouquet de persil haché; 1 gousse d'ail émincée; 3 cuillères à soupe d'huile d'olive; Porc de 400 grammes, coupé en petits morceaux; Une tasse d'une capacité de 190 ml contenant du vin rouge; 1 boîte de tomates en dés, avec jus; 1/4 cuillère à café de sucre; 1 feuille de laurier; 400 g de gnocchi cuits; 100 grammes de fromage ricotta