No tenemos la biografía de Rogelio Gracia.