pompeur (pomper + -eur; agent_person)
Celui qui pompe