Absolute_Galois_group loading ...