Installée en 1742, cette pompe faisait partie d’un ensemble de quatre pompes municipales installées aux quatre coins de la place du ma...