Source: https://www.bossetesmaths.com/wp-content/uploads/2014/09/Raisonnement-par-récurrence-exos.pdf