modification légère de addrspace.cc