J'ai un peu testé une pompe alternative à celle d'origine, de la marque Rockshox (la 300 psi analogique à manomètre rouge).
Pas d'amélioration notable question fuite d'air au dévissage du raccord, qui s'accompagne tout pareil d'une petite fuite que j'estime à environ 20 psi.
Elle est moins encombrante encore, mais n'a que la vitesse haute pression, ce qui doit être un peu galère pour l'utiliser aussi pour le pneu ! Pas testé...
Son embout un peu plus long est un poil plus facile à visser/dévisser, mais en contre partie, il nécessite que la valve du haut soit bien sortie pour pouvoir y être vissé.
Du coup, et en plus du petit "leash" que je voulais déjà lui mettre, j'ai rajouté un peu d'épaisseur à la cale plastique de gonflage, ceci au moyen d'une petite tranche fendue de tuyau armé transparent que j'avais sous la main...