Méthodes algorithmiques pour les réseaux algébriques. (Algorithmic methods for algebraic lattices). - Thomas Camus (2017)