https://123dok.net/document/zwvolrwl-raisonnement-par-récurrence-etsuites.html