Les formations du sous-domaine Algèbre de Boole