What kind of noncommutative geometry for quantum gravity?