Principal #Machine Satisfaisante