Rétablissement du main + correction du destructeur de AddrSpace