Version initiale, cas non ramifié seulement
Structure multiplicative ℚ₂(√3) et ℚ₂(√-1).
oups, pas un anneau de Dedekind
equivalence of ideals with lattices
unified form for all classes of discriminant
stupid finite field arithmetic
finite fields
mineur
reprise boulot
+tree
Merge remote-tracking branch 'luca/master'