2011 De la méthode. Machines de Turing et complexité algorithmique. p. 179-212. Auteur : Hudry Olivier