Galois_category loading ...