Corrección de registro civil en Colombia: cuándo basta pedirla en la registraduría, cuándo se hace por escritura pública y cuándo hay que demandar ante juez.