Efemérides: José Carrasco Pérez (1925-1978)