しかし、実際にはpincharを短縮して、単に「"pincha" (ピンチャ)」と呼ばれることの方が多い。