anneau de Dedekind

concept anneau commutatif, unitaire, intègre, noethérien, intégralement clos, et dont tout idéal premier est un idéal maximal