Définitionsrepétrifier