Les notes de version 14.04 contiennent la phrase suivante: Le support X32 ABI (mode 64 bits avec pointeurs 32 bits) a également été introduit. Je pense que cela mérite un peu plus d'explications. Lorsque vous utilisez un moteur de recherche pour en savoir plus sur "x32 ABI", vous pouvez au mieux...