Placez les jarrets de jambon et l'eau dans la mijoteuse sous pression à feu moyen. Couvrez et verrouillez ; portez à 15 livres de pression, réduisez le feu à doux, et faites cuire pendant 20 minutes. Relâchez immédiatement la pression en utilisant la méthode recommandée par le fabricant. Retirez les jarrets de jambon cuits avec une écumoire; transférez-les dans un bol pour les laisser refroidir. Séparez la viande de l'os. Transférez le bouillon de jambon dans un autre bol pour une utilisation ultérieure.

Faites chauffer l'huile d'olive dans la mijoteuse sous pression à feu moyen; faites cuire et remuer l'oignon, les carottes, le céleri et l'ail jusqu'à ce qu'ils soient tendres et réduits, environ 20 minutes.

Ajoutez les lentilles, 8 tasses de bouillon de jambon, le thym et la feuille de laurier; couvrez et verrouillez. Portez la pression à 15 livres pendant 6 minutes; relâchez immédiatement la pression.