Un procedimiento administrativo de los años 80 provocó el cambio del nombre familiar para los ceutíes de origen musulmán, que debieron adoptar el nombre de pila de sus padres y abuelos