SparcLE : un portable 64 bits