HIFI detection of hydrogen fluoride in the carbon star envelope IRC +10216 | Publicación