The non-Archimedean geometries after David Hilbert