Modification du tiny pour 32 bits