Correction de bug sur machine-turing