São modalidades de extinção do crédito tributário: