Définition, propriétés et exemples d'un domaine euclidien