Décomposition sous-directe d'un treillis en facteurs irréductibles.