In memoriam José S. Lasso de la Vega. MIN 2019, N.º 10, 5.