( 6 , « proc)