"R\u00E9nyiho dimenze"@cs .