普罗旺斯西红柿个头小吗