Le nouvel iPad mini a deux fois plus de mémoire vive, mais une puce A17 Pro bridée