Dans une grande cocotte, faire chauffer l'huile d'olive à feu moyen.
Ajouter les joues de porc et les faire dorer sur toutes les faces.
Retirer les joues de porc et dans la même cocotte, ajouter les oignons et les carottes coupés en dés avec l'ail émincé. Faire revenir jusqu'à ce qu'ils soient tendres.
Remettre les joues de porc dans la cocotte. Ajouter le cidre, le bouillon, les feuilles de laurier, le thym, le sel et le poivre.
Porter à ébullition, puis réduire le feu et laisser mijoter à couvert pendant environ 2 heures, jusqu'à ce que la viande soit tendre.
À mi-cuisson, ajouter les champignons coupés en quartiers.
Goûter et rectifier l'assaisonnement si nécessaire avant de servir.