Mentions légales du service
- move compile_match to Eliminate_algebraic - move eliminate_builtin to Eliminate_definition