Sources for SageManifolds (http://sagemanifolds.obspm.fr/)