Galois_theory loading ...