Scénario distanciel P-SAT