Beef Stew from Provence, a pressure cooker recipe