"Michel Tetu"@cs .