Hernando Devis Echandía (1916-2001).