"Koszul" . "A." . "A. Koszul" . . . .