Pourquoi une multi péritel réglerait le problème SAT ?