Les formations du sous-domaine Calcul booléen