Définitionsrepiqué