Categories et structures - Ehresmann, Charles (Dunod, 1965)