Un corps : un anneau euclidien commutatif avec inverses. Interface marqueur (= EuclideanRing + DivisionRing). Rational est un corps ; Double ne l'est pas (la sémantique de son div/mod reste ouverte — voir EuclideanRing).