Computer Algebra System module for the Projet Pensées Profondes