2013 Bulletin de l’APMEP. N° 503. p. 166-180. Mastermind : Des preuves par ordinateur. Auteur : Langer Bernard