restinguere