supprimons machine de turing, trop complexe et peu pertinent
quelques coquilles