Je reviens à l'instant de chez le garagiste ... en fait ce n'était pas la pompe HP (merci au garage Citroën de Verdes, dans le Loir-et-Cher, pour la rigueur de son "diagnostic").
Le mécano a localisé la fuite dans un gros groupe de tuyaux (à côté du pneu avant droit) puis après avoir nettoyé l'endroit et dévissé deux/trois bricoles il a mis en évidence une très légère coupure sur un coude d'un tuyau de retour en basse pression ...
Quelques temps plus tard tout était rafistolé et ma voiture sauvée. Deux heures et quarante minutes en tout quand même ...
Il s'agit du concessionnaire Citroën, boulevard Kellermann, à Châteaudun.
Quel bonheur !