A repackaged version of the Kenzo program by Francis Sergeraert and Xavier Dousson