pesantran n 1: a Muslim school in Indonesia operated by religious leaders; produces young militants skilled in jihad [syn: {pesantran}, {pesantren}]