Au travail, la musique déconcentrerait moins les femmes que les hommes