El Juzgado Especial Nacional de Propaganda Ilegal: mayo 1957-diciembre de 1963. Un antecedente hasta ahora desconocido de la jurisdicción de orden público