Malgré l'huile dégrippante, de l'huile de coude    
est nécessaire pour démonter cette pompe