Applications logiques en théorie des anneaux et des modules C. U. Jensen — 1980 Publications mathématiques et informatique de Rennes