Kit de retrait d'outils de démontage de pompe haute pression à commande électronique, ensemble d'outils de réparation de pompe à rampe commune