Définitionsen pompe