Petrus is a restaurant offering a menu with gluten-free options.