"c\u00E9vy"@cs . . .