Challenge n° 35 de Math-OS - Une formule sommatoire pas commode faisant intervenir les nombres harmoniques. Preuve directe ou récurrence ?