Les instances de base d'un domaine (corps des nombres rationnels, corps des nombres réels)