Berkovich space (source code)

= Berkovich space
{wiki=Berkovich_space}