Quelques applications des automates à arbres infinis.