Définition, critères et exemples typiques d'un domaine intègre