iPad Air de quatrième génération en USB-C, iPad Mini en Lightning ?