l'autocomplétion est complète de Turing