Compresseur de clim qui lache après avoir fait la distrib

[Invité]

Bonjour.

Je possède une Golf Plus de 2010, TDI 110.

J'ai fait faire le kit distrib en novembre, à 131 000 km.
Et hier, à 139 000 km, le compresseur de clim à lâché au démarrage (gros bruit une première fois puis depuis sifflement de la courroie accessoire).

Devis VW => 1300 euros.

Perso, je ne suis pas très mécanique, mais je vois un rapport de cause à effet entre le changement du kit distrib et cette pièce qui lâche même pas 10 000 kms plus tard.

Qu'en pensez vous ? Et que pensez du devis ?

Merci pour vos conseils d'experts

Cédric.