recessional march

noun

1.
a march to be played for processions