Commutative_Banach_algebra loading ...