A la découverte d'un théorème