"David Proux"@cs .