Sì, il pepe di Sichuan e il pepe di Szechuan sono la stessa cosa. Szechuan è semplicemente un’ortografia occidentalizzata della provincia di Sichuan (四川).