MetMat
Comment démontrer une propriété d'une suite par récurrence ? | MetMat