The Gaia DR2 halo white dwarf population: the luminosity function, mass distribution, and its star formation history | Publicación