La machine de Turing - Turing, Alan Mathison, 1912-1954; Girard, Jean-Yves, 1947- (Sources du savoir, 1995)