No tenemos la biografía de Ricardo Jiménez de Miguel.