Non-Archimedean_geometry loading ...