la pompe à bras des échevins construite à Rouen en 1721