Le père Xavier Ernbert Fridelli, jésuite autrichien, missionnaire et cartographe en Chine au XVIIIe siècle