Com­plete biblio­gra­phy as extrac­ted from HAL (as a Bib­TeX file).