idéalité mathématique