Den pakistanska militären har utfört attacker mot en milisgrupp inne i Iran, uppger en högt uppsatt underrättelsekälla för AFP. Iranska medier rapporterar om flera explosioner nära gränsen till Pakistan.