la taille de la pompe