Si on avait inventé un résolveur d'énigmes en 40, on attribuerait quand-même le mérite à Turing d'en avoir fait bon usage