Tiny GC pour 64 bits