En Costa Rica, coloquialmente, Dirección General de Migración y Extranjería. ► Dirección General de Migración y Extranjería.