Put the instant pot in mode browning
Brown the tenderloin with garlic and herbs
Add the potatoes
Add the veal stock
Switch the instant pot to pressure cooking mode 15min
In a bowl, mix the cream and mustard
When cooking is finished, put the mixture in to thicken the sauce