Mentions légales du service
First working prototype of induction tactic working with lexicographic orders according to type definition