Salut,
si la pompe est externe, tu n'est effectivement pas obligé de la faire changé lors de ta distribution car les mécanos n'y touche en aucun cas. Cependant, il est conseillé de la faire en même temps pour être tranquille.
Niveau devis chez Renault, n'hésite pas à faire tout un tas de garagiste (même les plus petits, a proximité de chez toi voir +, quitte a faire 100 km). Pour ma distrib, j'ai réussi a trouver presque 2x moins cher chez un petit garage local en comparaison au devis réalisé chez Renault qui m'a fait faire des bonds