osso buco, pommes de terre écrasées, sauce