A discrete Weber inequality on three-dimensional hybrid spaces with application to the HHO approximation of magnetostatics.