Définitionsrevitrifier