Champignons marinés à l’huile d’olive et aromates