No tenemos la biografía de Rubén de Marina.