rôti de porc aux pommes et au cidre marmiton