Définitionsredécrotter