Désormais, il faudra l’appeler « Grande Galette ».