Requim on the death of Honorio Ventura (September 3, 1940).