Yes, an Austrian Windbüchse, aka Girardoni. (From Wikipedia. I didn’t know that off the top of my head.)
Also from wikihahahahahapedia, it took 1500 (!!!) strokes of the pump to charge one air reservoir. That was good for 30 shots.
And people wonder why gunpowder was more common ...