Mentions légales du service
code for expanding range decls and float decls is now shared between theories and modules, avoiding any further inconsistencies