Non-commutative_geometry loading ...