sauté de porc olives champignons