Evolution of the DM distribution function in the density spikes around PBHs | Synapse