Official: Roma sign Osvaldo for €15m