auto de extinción