Filet mignon de porc rôti au four, chou rouge & spätzle

10,30