Merci à ericse pour sa recherche plus pertinente que les miennes... Mais bon j'aurai espéré une autre issue !
Effectivement, c'est à n'y rien comprendre, Apple fait la démo du passage 32->64 bits comme une formalité mais inversement elle ne montre pas l'exemple. Tant pis, tant pis et encore...