Galois_extension loading ...