D'où vient l'expression « coiffeurs » pour qualifier les remplaçants de l'équipe de France de football ?