Pompe à air montée sur voiture, voiture portable, pompe électrique