The leak I suspected on the hydraulic pump was confirmed so I gave it to my usual mechanic with a seal kit. Inside, the pump was ugly! The pump body was so damaged that we replaced it.
This intervention on the pump was the occasion to paint it in black and do the same with the regulator and main sphere.