El Petit Trencadís is a restaurant.