c'est pas obligatoire mais très conseillé, vu que pour changer la pompe à eau, il faut démonter la distri.
ta courroie neuve est plus tendue que la vieille, donc tire plus sur l'axe de pompe à eau et déclenche la fuite.
Du temps ou on changeait la distri tous les 80000, on conseillait de changer la pome à eau toutes les 2 courroies, et déjà une fois sur trois il fallait tout redémonter à 90000 pour la changer.
Bref changer le pompe, c'est +80€ sur les pièces et +0 sur la main d'oeuvre, alors que si ça fuit, il faut recommencer toute la main d'oeuvre.