About the Double-Humped Electron Distribution Function in Hall Thrusters