. . "c\u00E9vy"@cs .