Catégories et structures - Ehresmann, Charles (Dunod, Paris, 1965)