raisonnements par récurrence