Un fichier DEVRAIT déclarer **des** nouveaux symboles