Pérez Jiménez había sido extraditado de EE.UU.