Some tools to work with healpix