Merci de votre réponse rapide !
Effectivement, j'aurais du commencer par ça

. J'ai réussi à remettre la main dessus :

Je n'y connais rien, est-ce que je devrait essayer de trouver une tête de remplacement, ou carrément changer le robinet et la tête ? (je ne sais pas, peut-être que ce modèle est vieux et qu'on fait mieux maintenant ?)