Doit-on dire un ou une pompe ?