"Matignon"@cs .