No tenemos la biografía de Federico Mir.