"St\u00E9phane Bern"@cs .