512.4 - Anneaux (domaines d'intégrité, idéaux)