Inter, Martinez ufficiale: depositato in Lega il contratto del portiere spagnolo