"Taillefer"@cs .