Manuel Díez de Velasco Vallejo : in memoriam