Une formalisation du jeu de Mastermind D. Viaud RAIRO-Oper. Res., 13 3 (1979) 307-321 Published online: 06 February 2017 DOI: 10.1051/ro/1979130303071