Définitionsprolification