What's the spanner called for these "four side notch" collars/bolts?
A hook wrench (as used on bicycles)

https://bicycles.stackexchange.com/questions/16291/what-tool-is-needed-to-adjust-this-headset-on-a-childrens-bike