Pour ceux que ça intéresse, c'était une durite qui avait fuit. D'où la grosse tache d'huile... Le garagiste m'a dit qu'il n'avait jamais vu ça et c'est vrai qu'en voyant la durite après coup je me demande ce qui a bien pu la percer comme ça.
Donc au niveau coût, je m'en sort pas mal : 412 (j'imaginais déjà 1200 de pompe) avec compris le nettoyage complet de la garniture (plus de tache) et le teeshirt VW (style surfer) de la concession.
Le gars de "BAB utilitaires" s'appelle José et est compétent et sympa.
Voila, j'espère finir les vacances tranquille...