"Pierre Mainier"@cs .