texlive : correction pour archi 32 bits