Informatique : une machine de Turing à manipuler en ligne