Chauffez 2 cuillères à soupe d'huile d'olive dans l'Instant Pot réglé sur la fonction Sauté. Ajoutez le rôti de bœuf et faites-le cuire jusqu'à ce qu'il soit bien doré de tous les côtés, environ 4 à 5 minutes par côté. Versez le bouillon de bœuf.

Dans un sac en plastique, combinez les petites pommes de terre, les mini-carottes, l'oignon coupé en quatre, le mélange à soupe à l'oignon sec et les 2 cuillères à soupe restantes d'huile d'olive. Fermez le sac et secouez pour bien enrober les légumes.

Transférez le mélange de légumes du sac à l'Instant Pot, en les répartissant uniformément autour du rôti de bœuf.

Fermez et verrouillez le couvercle de l'Instant Pot. Réglez la cuisson sous haute pression selon les instructions du programme, avec un minuteur de 60 minutes. Prévoyez 10 à 15 minutes pour la montée en pression.

Effectuez une décompression rapide selon les instructions spécifiques du fabricant (~5 minutes). Retirez soigneusement le couvercle une fois que c'est sécurisé et transférez le bœuf et les légumes sur un plat de service, en laissant le bouillon et les jus dans la marmite.

Pour faire la sauce, sélectionnez la fonction Sauté, portez le liquide de l'Instant Pot à ébullition. Mélangez l'eau et la fécule de maïs dans un bol, puis versez le mélange dans le bouillon bouillant, en remuant fréquemment jusqu'à légèrement épaissi (2-3 minutes). Assaisonnez la sauce avec du sel à l'ail et du poivre noir.