Logique de sélection de l'étape de approfondissement avancé (Algèbre commutative → Algèbre homologique → Algèbre de Lie)