Définition et critère de l'anneau de factorisation unique (UFD)