on pourrait demander qu'un ordinateur soit turing-complet