Official: Gervinho completes Roma move