Mettre le rôti de porc dans une cocotte en fonte. Y ajouter le thym, le laurier et les clous de girofle et recouvrir de cidre.
Laisser mariner au moins une heure en retournant le rôti de temps en temps s'il n'est pas entièrement recouvert de cidre.
Oter les clous de girofle et mettre du gros sel sur le rôti. Ajouter les oignons, les pommes de terre et les carottes.
Faire cuire à feu doux et avec un couvercle pendant 1/2 heure environ.
Ajouter les courgettes en gros morceaux et pas épluchées et faire cuire encore une heure à feu doux et toujours avec un couvercle. Retourner le rôti toutes les 30 minutes.
Enfin, ajouter les champignons de Paris et les lardons et laisser encore cuire 1/2 heure à feu doux avec le couvercle. Sortir le rôti et le découper en tranches.