"R\u00E9mi Harrel"@cs .