anneau euclidien non commutatif