¿Por qué se conoce a los costarricenses como “ticos”?