実解析的尖点形式