"Lavaudieu"@cs .