Gnocchi avec chou rouge rôti | Recette