Réglez l'Instant Pot sur Sauté. Ajoutez le beurre et, lorsqu'il commence à mousser, ajoutez l'ail et les champignons. Faites cuire en remuant de temps en temps pendant 5 minutes.
Pendant ce temps, réservez 2 cuillères à soupe de persil. Disposez le reste du persil, les feuilles d'origan et les feuilles de thym sur une planche à découper. Passez plusieurs fois un couteau bien aiguisé dans les herbes pour les hacher. Assemblez-les et hachez-les grossièrement une fois de plus.
Ajoutez les herbes hachées aux champignons et mélangez bien. Dans un petit bol, fouettez le bouillon, le sel, le poivre et la marjolaine (si vous en utilisez). Versez le bouillon sur les champignons. Appuyez sur Annuler. Fermez le couvercle et tournez la soupape d'évacuation de la vapeur sur « Scellage ». Appuyez sur le bouton « Cuisson sous pression » ou « Manuel » et réglez le temps de cuisson sur 5 minutes.
Lorsque l'Instant Pot émet un bip, placez délicatement la soupape d'évacuation de la vapeur sur la position « Ventilation » pour évacuer rapidement la pression. Une fois la soupape complètement relâchée, ouvrez le couvercle. À l'aide d'une écumoire, transvasez les champignons dans un saladier.
Appuyez sur Annuler, puis sur Sauté. Goûtez le liquide de cuisson et rectifiez le sel et le poivre. Portez le liquide à ébullition et laissez cuire en remuant fréquemment pendant 3 à 5 minutes pour épaissir légèrement le liquide. Appuyez sur Annuler.
Verser délicatement le liquide chaud sur les champignons. Garnir avec le persil réservé. Servir chaud ou à température ambiante.
Notes
Si possible, choisissez des champignons de taille à peu près égale. Si vous ne trouvez que des champignons plus gros, coupez-les en deux, voire en quatre s'ils sont assez gros.