Text this: Ernesto Mayz Vallenilla. In memoriam (1925-2015)