Ninguna es cierta o confirmada, sobre todo porque la denominación de la terminal T2 como Terminal Picasso, es muy posterior a la asignación del código IATA.