Zerosquare (./17) :
Par contre attention, il me semble que certaines distros Linux abandonnent ou ont déjà abandonné le support des CPU x86 au profit du x64.

Yep ; en général, il y a un fork officieux qui tient, mais géré par une poignée de personnes... Pour Arch, c'est chez https://archlinux32.org/ que ça se trouve