[Granite 001] un nombre symbole