La Antigua is a restaurant.