Définitionsclef à pompe