5.12.4 : L'induction entre deux anneaux
partie (a)
partie (b)