Seol mar théacs é seo: The congruences of a finite lattice :