"Fran\u00E7oise Macchi"@cs .