（）是法国启蒙思想家，主要著作有（）。他发展和完善了洛克提出的分权学说，系统论述了（）思想。