Necrología: Manuel Ocaña Jiménez (1914-1990).