Si les Girondins de Bordeaux sont relégués, combien de salariés vont perdre leur emploi ?