Categories Tannakiennes - nidottu, Ranska, 1972