Origine et rôle du pompon sur le béret des marins