"Louis Charavel"@cs .