Moi aussi je suis en 64 bits, ia32-libs n'est plus nécessaire maintenant je crois… (le paquet n'existe plus sur debian en tout cas)