Kleinian_geometry loading ...