Relation progressive groupe-anneau-domaine (de la structure opérationnelle simple à la structure opérationnelle double)