Ehresmann_connection loading ...