Placez la grille (ou le panier vapeur) au fond de l'autocuiseur, puis déposez la poitrine de bœuf salée dessus, côté gras vers le haut.
Saupoudrez le contenu du sachet d'épices sur la viande, puis disposez autour les quartiers d'oignon jaune et les gousses d'ail écrasées.
Versez le bouillon de bœuf et l'eau de manière à entourer la viande sans la recouvrir complètement.
Fermez le couvercle, placez la soupape en position « étanchéité », sélectionnez la cuisson sous haute pression et lancez-la pour 90 minutes.
Laissez la pression retomber naturellement pendant 15 minutes, puis effectuez une libération rapide de la pression restante et ouvrez le couvercle.
Transférez délicatement la poitrine de bœuf cuite sur une planche à découper et maintenez-la au chaud sous une feuille de papier aluminium.
Ajoutez les pommes de terre rouges coupées en deux et les morceaux de carottes dans le liquide restant, refermez le couvercle, programmez la cuisson sous haute pression pour 4 minutes, puis relâchez rapidement la pression.
Ajoutez les quartiers de chou vert, refermez le couvercle, programmez la cuisson sous haute pression pour 2 minutes, puis relâchez rapidement la pression.
Découpez la poitrine de bœuf salée en tranches dans le sens inverse des fibres, puis disposez-les sur un plat avec les pommes de terre, les carottes et le chou. Arrosez d'un peu de jus de cuisson et servez avec de la moutarde de Dijon ou du raifort selon vos préférences.