RICHEVAUX Jean ( ? - ~1752 )