Nearly deterministic automata acceptation of infinite trees and a complexitiy of weak theory of SkS.