Cruscate

Di recente ho incontrato il termine «pompa jockey». Se ho capito bene indica, negl'impianti idrici antincendio, una piccola pompa, ausiliaria della principale, che si attiva automaticamente per correggere piccoli cali di pressione che possono verificarsi di tanto in tanto nell'impianto; in modo da non dover attivare, per questi, la più grossa pompa principale, il che sarebbe uno spreco.

In rete vedo che sono usati come sinonimi pienamente italiani pompa pilota, pompa di compensazione, pompa di compenso, pompa di mantenimento.