https://123dok.net/document/q7wk4x7k-le-principe-de-récurrence.html