O grupo profinito de uma substituição primitiva