Les formations du sous-domaine arithmétique