af Sidi-Ben-Auros ’ graf — någon nationalhjälte förmodligen.