"Eug\u00E8ne Renaux"@cs .