"Martin Fr\u00E9minet"@cs .