Finalmente el edificio fue demolido en 1710 y el lugar quedó como parte de la propiedad del convento de Port Royal de París.