https://123dok.net/document/q05vg9n3-examen-du-cours-calcul-des-constructions-inductives.html