Pompe électro-hydraulique