Some astrophysical consequences of the existence of a heavy stable neutral lepton