Filet de bœuf aux champignons, sauce aux tomates séchées et aux olives vertes