Rôti de porc mariné au cidre doux

Mettre le rôti de porc dans un plat haut (de type saladier), 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 s’il n’est pas entièrement couvert.
Sortir le rôti de la marinade, le placer dans un plat allant au four, et le frotter avec le gros sel.
Disposer les légumes autour du rôti (oignons émincés, pommes de terres coupées en deux, carottes en petits morceaux, courgettes en gros morceaux, champignons de paris entiers ou demis) et verser dans le plat la marinade (dont on aura pris soin de retirer les clous de girofle) et le reste de cidre le cas échéant.
Enfourner à four chaud (200°C - thermostat 6-7) pendant 1 h 30 en surveillant la cuisson et en retournant le rôti de temps en temps.

S’il reste beaucoup de cidre au fond du plat, on peut épaissir avec un peu de maizena prélablement diluée.
Si l’on dispose d’un rôti congelé, on peut le laisser décongeler dans la marinade pendant une nuit sans problème.