"B\u00E9nodet"@cs .