Mentions légales du service
induction_int_lex : new induction tactic (labels only, no heuristic provided) for ordered int tuples.