Définitionsrépressible