Invité de Caroline Lachowsky pour son émission, Autour de la question sur RFI à propos de CQFD, 21 façons de prouver en mathématiques et du plaisir à chercher.