Topo estrellado: una película sobre Domingo Zorrilla