"R\u00E9duit"@cs .