A high-resolution line survey of IRC +10216 withHerschel/HIFI | Publicación