"Cl\u00E9ment Cogitore"@cs .