Première partie du chapitre 4 (jusqu'au machine de Turing)