Pulsation in the white dwarf HE 1017−1352: confirmation of the class of hot DAV stars. (4th June 2020)