La pompe n’est autre chose sinon un certain spectacle, ou ceremonie publique, accompagnée de joye, de jeux, de musique & de réjoüissance : voicy comme un Poëte en a parlé.